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