Anne is blue. Anne is nice. Anne is round. Bob is cold. Bob is kind. Bob is quiet. Bob is red. Bob is round. Erin is cold. Erin is nice. If Bob is blue and Bob is cold then Bob is quiet. All blue people are round. If someone is blue then they are cold. Red, kind people are cold. All round people are cold. Kind people are red.
Anne is kind.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3 OR ((triple1) -> rule2))] Bob is cold.[(triple4 OR ((triple8) -> rule5) OR ((triple7 triple5) -> rule4) OR ((((triple5) -> rule6) triple5) -> rule4))] Bob is kind.[(triple5)] Bob is quiet.[(triple6)] Bob is red.[(triple7 OR ((triple5) -> rule6))] Bob is round.[(triple8)] Erin is cold.[(triple9)] Erin is nice.[(triple10)] @1: Anne is cold.[(((triple1) -> rule3) OR ((triple3) -> rule5) OR ((((triple1) -> rule2)) -> rule5))]