Bob is big. Bob is cold. Bob is kind. Bob is rough. Bob is round. Bob is smart. Gary is cold. Gary is red. Gary is round. Harry is cold. Harry is red. Harry is smart. If something is red and cold then it is smart. If something is smart and kind then it is cold.
Bob is not big.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((triple6 triple3) -> rule2))] Bob is kind.[(triple3)] Bob is rough.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6)] Gary is cold.[(triple7)] Gary is red.[(triple8)] Gary is round.[(triple9)] Harry is cold.[(triple10)] Harry is red.[(triple11)] Harry is smart.[(triple12 OR ((triple11 triple10) -> rule1))] @1: Gary is smart.[(((triple8 triple7) -> rule1))]