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