Anne is cold. Anne is kind. Bob is blue. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is round. Dave is blue. Dave is green. Dave is kind. Dave is red. Dave is round. Erin is red. Erin is round. All round people are blue. If Erin is round and Erin is cold then Erin is green. If someone is round and quiet then they are red. If someone is blue and kind then they are round. Cold people are round. Kind people are red.
Anne is quiet.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Bob is blue.[(triple3 OR ((triple8) -> rule1) OR ((((triple4) -> rule5)) -> rule1))] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Bob is red.[(triple7 OR ((triple5) -> rule6) OR ((triple8 triple6) -> rule3) OR ((((triple4) -> rule5) triple6) -> rule3) OR ((((triple3 triple5) -> rule4) triple6) -> rule3))] Bob is round.[(triple8 OR ((triple4) -> rule5) OR ((triple3 triple5) -> rule4))] Dave is blue.[(triple9 OR ((triple13) -> rule1))] Dave is green.[(triple10)] Dave is kind.[(triple11)] Dave is red.[(triple12 OR ((triple11) -> rule6))] Dave is round.[(triple13 OR ((triple9 triple11) -> rule4))] Erin is red.[(triple14)] Erin is round.[(triple15)] @1: Anne is red.[(((triple2) -> rule6))] Anne is round.[(((triple1) -> rule5))] Erin is blue.[(((triple15) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule5)) -> rule1))]