Anne is quiet. Bob is blue. Erin is blue. Erin is smart. Erin is white. Harry is smart. Harry is white. If something is blue then it is nice. All green things are blue. Nice, white things are rough. All smart things are green. If something is nice then it is smart. Smart, green things are white.
Harry is quiet.
@0: Anne is quiet.[(triple1)] Bob is blue.[(triple2)] Erin is blue.[(triple3 OR ((((triple4) -> rule4)) -> rule2))] Erin is smart.[(triple4 OR ((((triple3) -> rule1)) -> rule5))] Erin is white.[(triple5 OR ((triple4 ((triple4) -> rule4)) -> rule6) OR ((((((triple3) -> rule1)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((triple4 ((((((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple3) -> rule1)) -> rule5) ((((((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6))] Harry is smart.[(triple6)] Harry is white.[(triple7 OR ((triple6 ((triple6) -> rule4)) -> rule6))] @1: Bob is nice.[(((triple2) -> rule1))] Erin is green.[(((triple4) -> rule4) OR ((((((triple3) -> rule1)) -> rule5)) -> rule4))] Erin is nice.[(((triple3) -> rule1) OR ((((((triple4) -> rule4)) -> rule2)) -> rule1))] Harry is green.[(((triple6) -> rule4))] @2: Bob is smart.[(((((triple2) -> rule1)) -> rule5))] Erin is rough.[(((((triple3) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule1) ((triple4 ((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule1) triple5) -> rule3) OR ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule5) ((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule1) ((triple4 ((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple3) -> rule1)) -> rule5) ((triple4) -> rule4)) -> rule6)) -> rule3) OR ((((triple3) -> rule1) ((triple4 ((((((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((triple3) -> rule1) ((((((triple3) -> rule1)) -> rule5) ((((((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule1) ((triple4 ((((((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule1) ((((((triple3) -> rule1)) -> rule5) ((((((triple3) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule3))] Harry is blue.[(((((triple6) -> rule4)) -> rule2))] @3: Bob is green.[(((((((triple2) -> rule1)) -> rule5)) -> rule4))] Harry is nice.[(((((((triple6) -> rule4)) -> rule2)) -> rule1))] @4: Bob is white.[(((((((triple2) -> rule1)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule4)) -> rule6))] Harry is rough.[(((((((((triple6) -> rule4)) -> rule2)) -> rule1) triple7) -> rule3) OR ((((((((triple6) -> rule4)) -> rule2)) -> rule1) ((triple6 ((triple6) -> rule4)) -> rule6)) -> rule3))] @5: Bob is rough.[(((((triple2) -> rule1) ((((((triple2) -> rule1)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule4)) -> rule6)) -> rule3))]