Bob is cold. Bob is green. Bob is nice. Bob is round. Bob is young. Erin is kind. Erin is rough. Erin is round. Erin is young. Harry is cold. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is young. Nice, kind things are young. Young, round things are kind. If something is kind then it is cold. Nice things are cold. If Harry is nice then Harry is round. All cold things are nice.
Bob is kind.
@0: Bob is cold.[(triple1 OR ((triple3) -> rule4) OR ((((triple5 triple4) -> rule2)) -> rule3))] Bob is green.[(triple2)] Bob is nice.[(triple3 OR ((triple1) -> rule6) OR ((((((triple5 triple4) -> rule2)) -> rule3)) -> rule6))] Bob is round.[(triple4)] Bob is young.[(triple5)] Erin is kind.[(triple6 OR ((triple9 triple8) -> rule2))] Erin is rough.[(triple7)] Erin is round.[(triple8)] Erin is young.[(triple9 OR ((((((triple6) -> rule3)) -> rule6) triple6) -> rule1))] Harry is cold.[(triple10 OR ((triple12) -> rule3) OR ((triple13) -> rule4) OR ((((triple16 triple15) -> rule2)) -> rule3) OR ((((triple16 ((triple13) -> rule5)) -> rule2)) -> rule3))] Harry is green.[(triple11)] Harry is kind.[(triple12 OR ((triple16 triple15) -> rule2) OR ((triple16 ((triple13) -> rule5)) -> rule2) OR ((triple16 ((((triple10) -> rule6)) -> rule5)) -> rule2))] Harry is nice.[(triple13 OR ((triple10) -> rule6) OR ((((triple12) -> rule3)) -> rule6) OR ((((((triple16 triple15) -> rule2)) -> rule3)) -> rule6))] Harry is rough.[(triple14)] Harry is round.[(triple15 OR ((triple13) -> rule5) OR ((((triple10) -> rule6)) -> rule5) OR ((((((triple12) -> rule3)) -> rule6)) -> rule5))] Harry is young.[(triple16 OR ((triple13 triple12) -> rule1) OR ((((triple10) -> rule6) triple12) -> rule1) OR ((((((triple12) -> rule3)) -> rule6) triple12) -> rule1))] @1: Bob is kind.[(((triple5 triple4) -> rule2))] Erin is cold.[(((triple6) -> rule3) OR ((((triple9 triple8) -> rule2)) -> rule3))] @2: Erin is nice.[(((((triple6) -> rule3)) -> rule6) OR ((((((triple9 triple8) -> rule2)) -> rule3)) -> rule6))]