Anne is green. Anne is quiet. Anne is rough. Bob is rough. Dave is green. Dave is kind. Dave is quiet. Dave is smart. Harry is green. Harry is kind. Harry is round. Quiet people are kind. If someone is rough then they are green. If someone is round then they are quiet. If someone is kind then they are smart. All rough, kind people are green. If someone is green then they are round.
Bob is cold.
@0: Anne is green.[(triple1 OR ((triple3) -> rule2) OR ((triple3 ((triple2) -> rule1)) -> rule5))] Anne is quiet.[(triple2 OR ((((triple1) -> rule6)) -> rule3) OR ((((((triple3) -> rule2)) -> rule6)) -> rule3))] Anne is rough.[(triple3)] Bob is rough.[(triple4)] Dave is green.[(triple5)] Dave is kind.[(triple6 OR ((triple7) -> rule1) OR ((((((triple5) -> rule6)) -> rule3)) -> rule1))] Dave is quiet.[(triple7 OR ((((triple5) -> rule6)) -> rule3))] Dave is smart.[(triple8 OR ((triple6) -> rule4) OR ((((triple7) -> rule1)) -> rule4) OR ((((((((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule4))] Harry is green.[(triple9)] Harry is kind.[(triple10 OR ((((triple11) -> rule3)) -> rule1) OR ((((((triple9) -> rule6)) -> rule3)) -> rule1))] Harry is round.[(triple11 OR ((triple9) -> rule6))] @1: Anne is kind.[(((triple2) -> rule1) OR ((((((triple1) -> rule6)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1))] Anne is round.[(((triple1) -> rule6) OR ((((triple3) -> rule2)) -> rule6) OR ((((triple3 ((triple2) -> rule1)) -> rule5)) -> rule6))] Bob is green.[(((triple4) -> rule2))] Dave is round.[(((triple5) -> rule6))] Harry is quiet.[(((triple11) -> rule3) OR ((((triple9) -> rule6)) -> rule3))] Harry is smart.[(((triple10) -> rule4) OR ((((((triple11) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule6)) -> rule3)) -> rule1)) -> rule4))] @2: Anne is smart.[(((((triple2) -> rule1)) -> rule4) OR ((((((((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4) OR ((((((((((triple3) -> rule2)) -> rule6)) -> rule3)) -> rule1)) -> rule4))] Bob is round.[(((((triple4) -> rule2)) -> rule6))] @3: Bob is quiet.[(((((((triple4) -> rule2)) -> rule6)) -> rule3))] @4: Bob is kind.[(((((((((triple4) -> rule2)) -> rule6)) -> rule3)) -> rule1))] @5: Bob is smart.[(((((((((((triple4) -> rule2)) -> rule6)) -> rule3)) -> rule1)) -> rule4))]