Anne is big. Anne is furry. Bob is blue. Bob is green. Bob is young. Charlie is furry. Charlie is green. Charlie is red. Gary is furry. Gary is green. Gary is young. Furry, green things are blue. All big things are green. Red, furry things are blue. All big, blue things are nice. If Bob is nice and Bob is big then Bob is red. If Gary is furry then Gary is blue. All nice, big things are young. All nice things are young. Blue, young things are red.
Bob is not nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Bob is blue.[(triple3)] Bob is green.[(triple4)] Bob is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is green.[(triple7)] Charlie is red.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is young.[(triple11)] @1: Anne is green.[(((triple1) -> rule2))] Bob is red.[(((triple3 triple5) -> rule9))] Charlie is blue.[(((triple6 triple7) -> rule1) OR ((triple8 triple6) -> rule3))] Gary is blue.[(((triple9) -> rule6) OR ((triple9 triple10) -> rule1))] @2: Anne is blue.[(((triple2 ((triple1) -> rule2)) -> rule1))] Gary is red.[(((((triple9) -> rule6) triple11) -> rule9) OR ((((triple9 triple10) -> rule1) triple11) -> rule9))] @3: Anne is nice.[(((triple1 ((triple2 ((triple1) -> rule2)) -> rule1)) -> rule4))] @4: Anne is young.[(((((triple1 ((triple2 ((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule8) OR ((((triple1 ((triple2 ((triple1) -> rule2)) -> rule1)) -> rule4) triple1) -> rule7))] @5: Anne is red.[(((((triple2 ((triple1) -> rule2)) -> rule1) ((((triple1 ((triple2 ((triple1) -> rule2)) -> rule1)) -> rule4)) -> rule8)) -> rule9) OR ((((triple2 ((triple1) -> rule2)) -> rule1) ((((triple1 ((triple2 ((triple1) -> rule2)) -> rule1)) -> rule4) triple1) -> rule7)) -> rule9))]