Bob is blue. Erin is blue. Erin is cold. Erin is furry. Erin is kind. Erin is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is young. Harry is big. Harry is blue. Harry is kind. Harry is white. If Bob is blue then Bob is kind. If Bob is blue then Bob is big. If someone is white and furry then they are blue. If Erin is cold then Erin is big. All white people are kind. If someone is blue then they are cold. If Harry is big and Harry is kind then Harry is cold. If someone is white then they are kind.
Gary is kind.
@0: Bob is blue.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple2) -> rule6))] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is young.[(triple6)] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9 OR ((triple8) -> rule6))] Gary is kind.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is blue.[(triple13)] Harry is kind.[(triple14 OR ((triple15) -> rule5) OR ((triple15) -> rule8))] Harry is white.[(triple15)] @1: Bob is big.[(((triple1) -> rule2))] Bob is cold.[(((triple1) -> rule6))] Bob is kind.[(((triple1) -> rule1))] Erin is big.[(((triple3) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] Harry is cold.[(((triple13) -> rule6) OR ((triple12 triple14) -> rule7) OR ((triple12 ((triple15) -> rule5)) -> rule7) OR ((triple12 ((triple15) -> rule8)) -> rule7))]