Anne is blue. Anne is furry. Anne is quiet. Anne is red. Anne is young. Bob is furry. Charlie is nice. Harry is furry. Harry is quiet. Harry is red. If Bob is blue and Bob is cold then Bob is furry. If Harry is blue then Harry is furry. Furry people are cold. All red, cold people are blue. If someone is furry then they are red. If someone is young then they are red. If someone is cold and blue then they are red. All cold, quiet people are furry.
Bob is not cold.
@0: Anne is blue.[(triple1 OR ((triple4 ((triple2) -> rule3)) -> rule4) OR ((((triple2) -> rule5) ((triple2) -> rule3)) -> rule4) OR ((((triple5) -> rule6) ((triple2) -> rule3)) -> rule4))] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule5) OR ((triple5) -> rule6) OR ((((triple2) -> rule3) triple1) -> rule7))] Anne is young.[(triple5)] Bob is furry.[(triple6)] Charlie is nice.[(triple7)] Harry is furry.[(triple8)] Harry is quiet.[(triple9)] Harry is red.[(triple10 OR ((triple8) -> rule5))] @1: Anne is cold.[(((triple2) -> rule3))] Bob is cold.[(((triple6) -> rule3))] Bob is red.[(((triple6) -> rule5))] Harry is cold.[(((triple8) -> rule3))] @2: Bob is blue.[(((((triple6) -> rule5) ((triple6) -> rule3)) -> rule4))] Harry is blue.[(((triple10 ((triple8) -> rule3)) -> rule4) OR ((((triple8) -> rule5) ((triple8) -> rule3)) -> rule4))]