Charlie is big. Charlie is kind. Dave is blue. Dave is green. Dave is kind. Dave is rough. Gary is cold. Gary is green. Gary is rough. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is kind. Harry is rough. Kind, big things are blue. If something is kind and furry then it is green. If something is kind then it is big. If something is rough and cold then it is green. If Harry is big then Harry is kind. All big things are kind.
Harry is cold.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule3))] Charlie is kind.[(triple2 OR ((triple1) -> rule6))] Dave is blue.[(triple3 OR ((triple5 ((triple5) -> rule3)) -> rule1))] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is rough.[(triple6)] Gary is cold.[(triple7)] Gary is green.[(triple8 OR ((triple9 triple7) -> rule4))] Gary is rough.[(triple9)] Harry is big.[(triple10 OR ((triple14) -> rule3))] Harry is cold.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13 OR ((triple14 triple12) -> rule2) OR ((triple15 triple11) -> rule4) OR ((((triple10) -> rule5) triple12) -> rule2) OR ((((triple10) -> rule6) triple12) -> rule2))] Harry is kind.[(triple14 OR ((triple10) -> rule5) OR ((triple10) -> rule6))] Harry is rough.[(triple15)] @1: Charlie is blue.[(((triple2 triple1) -> rule1) OR ((triple2 ((triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule6) triple1) -> rule1) OR ((((triple1) -> rule6) ((triple2) -> rule3)) -> rule1))] Dave is big.[(((triple5) -> rule3))] Harry is blue.[(((triple14 triple10) -> rule1) OR ((triple14 ((triple14) -> rule3)) -> rule1) OR ((((triple10) -> rule5) triple10) -> rule1) OR ((((triple10) -> rule6) triple10) -> rule1) OR ((((triple10) -> rule5) ((triple14) -> rule3)) -> rule1) OR ((((triple10) -> rule6) ((triple14) -> rule3)) -> rule1))]