Erin is blue. Erin is cold. Erin is kind. Erin is red. Gary is cold. Gary is furry. Gary is kind. Gary is red. Harry is cold. Harry is quiet. Harry is red. Harry is young. Furry, quiet people are kind. If Erin is furry and Erin is cold then Erin is young. If someone is quiet then they are furry. If Gary is kind then Gary is furry. Cold people are red. If Gary is furry and Gary is blue then Gary is young. All furry, kind people are quiet. If someone is kind and red then they are blue.
Gary is not blue.
@0: Erin is blue.[(triple1 OR ((triple3 triple4) -> rule8) OR ((triple3 ((triple2) -> rule5)) -> rule8))] Erin is cold.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4 OR ((triple2) -> rule5))] Gary is cold.[(triple5)] Gary is furry.[(triple6 OR ((triple7) -> rule4))] Gary is kind.[(triple7)] Gary is red.[(triple8 OR ((triple5) -> rule5))] Harry is cold.[(triple9)] Harry is quiet.[(triple10)] Harry is red.[(triple11 OR ((triple9) -> rule5))] Harry is young.[(triple12)] @1: Gary is blue.[(((triple7 triple8) -> rule8) OR ((triple7 ((triple5) -> rule5)) -> rule8))] Gary is quiet.[(((triple6 triple7) -> rule7) OR ((((triple7) -> rule4) triple7) -> rule7))] Harry is furry.[(((triple10) -> rule3))] @2: Gary is young.[(((triple6 ((triple7 triple8) -> rule8)) -> rule6) OR ((((triple7) -> rule4) ((triple7 triple8) -> rule8)) -> rule6) OR ((triple6 ((triple7 ((triple5) -> rule5)) -> rule8)) -> rule6) OR ((((triple7) -> rule4) ((triple7 ((triple5) -> rule5)) -> rule8)) -> rule6))] Harry is kind.[(((((triple10) -> rule3) triple10) -> rule1))] @3: Harry is blue.[(((((((triple10) -> rule3) triple10) -> rule1) triple11) -> rule8) OR ((((((triple10) -> rule3) triple10) -> rule1) ((triple9) -> rule5)) -> rule8))]