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