Bob is blue. Bob is cold. Erin is cold. Erin is furry. Erin is smart. Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is smart. All blue things are cold. If Erin is rough then Erin is smart. Smart, big things are kind. If Gary is big and Gary is rough then Gary is kind. Cold, big things are furry. Blue things are rough.
Gary is not kind.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule1))] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is smart.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is furry.[(triple8 OR ((((triple7) -> rule1) triple6) -> rule5))] Gary is kind.[(triple9 OR ((triple10 triple6) -> rule3) OR ((triple6 ((triple7) -> rule6)) -> rule4))] Gary is smart.[(triple10)] @1: Bob is rough.[(((triple1) -> rule6))] Gary is cold.[(((triple7) -> rule1))] Gary is rough.[(((triple7) -> rule6))]