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