Bob is big. Bob is kind. Bob is red. Bob is smart. Bob is white. Gary is big. Gary is cold. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is white. Harry is big. Harry is green. Harry is kind. Harry is smart. Green, kind people are smart. If someone is green and red then they are cold. If someone is green and big then they are red. All red people are big. All green people are red. All smart people are cold.
Bob is not green.
@0: Bob is big.[(triple1 OR ((triple3) -> rule4))] Bob is kind.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Gary is big.[(triple6 OR ((triple10) -> rule4) OR ((((triple8) -> rule5)) -> rule4))] Gary is cold.[(triple7 OR ((triple11) -> rule6) OR ((triple8 triple10) -> rule2) OR ((((triple8 triple9) -> rule1)) -> rule6) OR ((triple8 ((triple8) -> rule5)) -> rule2) OR ((triple8 ((triple8 triple6) -> rule3)) -> rule2))] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is red.[(triple10 OR ((triple8) -> rule5) OR ((triple8 triple6) -> rule3))] Gary is smart.[(triple11 OR ((triple8 triple9) -> rule1))] Gary is white.[(triple12)] Harry is big.[(triple13 OR ((((triple14) -> rule5)) -> rule4))] Harry is green.[(triple14)] Harry is kind.[(triple15)] Harry is smart.[(triple16 OR ((triple14 triple15) -> rule1))] @1: Bob is cold.[(((triple4) -> rule6))] Harry is cold.[(((triple16) -> rule6) OR ((((triple14 triple15) -> rule1)) -> rule6) OR ((triple14 ((triple14) -> rule5)) -> rule2) OR ((triple14 ((triple14 triple13) -> rule3)) -> rule2))] Harry is red.[(((triple14) -> rule5) OR ((triple14 triple13) -> rule3))]