Dave is blue. Dave is cold. Dave is nice. Dave is rough. Dave is round. Dave is white. Harry is blue. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is white. All white, nice things are rough. If something is cold then it is white. All nice things are cold. If Harry is round then Harry is kind. All cold, rough things are round. If something is nice and white then it is cold.
Harry is kind.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2 OR ((triple3) -> rule3) OR ((triple3 triple6) -> rule6))] Dave is nice.[(triple3)] Dave is rough.[(triple4 OR ((triple6 triple3) -> rule1) OR ((((triple2) -> rule2) triple3) -> rule1) OR ((((((triple3) -> rule3)) -> rule2) triple3) -> rule1))] Dave is round.[(triple5 OR ((triple2 triple4) -> rule5) OR ((triple2 ((triple6 triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule3) triple4) -> rule5) OR ((((triple3 triple6) -> rule6) triple4) -> rule5) OR ((((triple3) -> rule3) ((triple6 triple3) -> rule1)) -> rule5) OR ((((triple3 triple6) -> rule6) ((triple6 triple3) -> rule1)) -> rule5) OR ((triple2 ((((triple2) -> rule2) triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule3) ((((triple2) -> rule2) triple3) -> rule1)) -> rule5) OR ((((triple3 triple6) -> rule6) ((((triple2) -> rule2) triple3) -> rule1)) -> rule5) OR ((triple2 ((((((triple3) -> rule3)) -> rule2) triple3) -> rule1)) -> rule5) OR ((((triple3) -> rule3) ((((((triple3) -> rule3)) -> rule2) triple3) -> rule1)) -> rule5) OR ((((triple3 triple6) -> rule6) ((((((triple3) -> rule3)) -> rule2) triple3) -> rule1)) -> rule5))] Dave is white.[(triple6 OR ((triple2) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] Harry is blue.[(triple7)] Harry is kind.[(triple8 OR ((triple11) -> rule4) OR ((((((triple9) -> rule3) triple10) -> rule5)) -> rule4) OR ((((((triple9 triple12) -> rule6) triple10) -> rule5)) -> rule4) OR ((((((triple9) -> rule3) ((triple12 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple9 triple12) -> rule6) ((triple12 triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple9) -> rule3) ((((((triple9) -> rule3)) -> rule2) triple9) -> rule1)) -> rule5)) -> rule4) OR ((((((triple9 triple12) -> rule6) ((((((triple9) -> rule3)) -> rule2) triple9) -> rule1)) -> rule5)) -> rule4))] Harry is nice.[(triple9)] Harry is rough.[(triple10 OR ((triple12 triple9) -> rule1) OR ((((((triple9) -> rule3)) -> rule2) triple9) -> rule1))] Harry is round.[(triple11 OR ((((triple9) -> rule3) triple10) -> rule5) OR ((((triple9 triple12) -> rule6) triple10) -> rule5) OR ((((triple9) -> rule3) ((triple12 triple9) -> rule1)) -> rule5) OR ((((triple9 triple12) -> rule6) ((triple12 triple9) -> rule1)) -> rule5) OR ((((triple9) -> rule3) ((((((triple9) -> rule3)) -> rule2) triple9) -> rule1)) -> rule5) OR ((((triple9 triple12) -> rule6) ((((((triple9) -> rule3)) -> rule2) triple9) -> rule1)) -> rule5))] Harry is white.[(triple12 OR ((((triple9) -> rule3)) -> rule2))] @1: Harry is cold.[(((triple9) -> rule3) OR ((triple9 triple12) -> rule6))]