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