Anne is cold. Anne is round. Erin is blue. Erin is furry. Fiona is green. Fiona is red. Gary is green. Furry, green things are cold. Round things are green. If something is round and green then it is red. All green things are blue. Kind things are round. All blue things are green. If something is cold then it is kind. If something is round and kind then it is cold.
Anne is round.
@0: Anne is cold.[(triple1)] Anne is round.[(triple2 OR ((((triple1) -> rule7)) -> rule5))] Erin is blue.[(triple3)] Erin is furry.[(triple4)] Fiona is green.[(triple5)] Fiona is red.[(triple6)] Gary is green.[(triple7)] @1: Anne is green.[(((triple2) -> rule2) OR ((((((triple1) -> rule7)) -> rule5)) -> rule2))] Anne is kind.[(((triple1) -> rule7))] Erin is green.[(((triple3) -> rule6))] Fiona is blue.[(((triple5) -> rule4))] Gary is blue.[(((triple7) -> rule4))] @2: Anne is blue.[(((((triple2) -> rule2)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule4))] Anne is red.[(((triple2 ((triple2) -> rule2)) -> rule3) OR ((((((triple1) -> rule7)) -> rule5) ((triple2) -> rule2)) -> rule3) OR ((triple2 ((((((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple1) -> rule7)) -> rule5) ((((((triple1) -> rule7)) -> rule5)) -> rule2)) -> rule3))] Erin is cold.[(((triple4 ((triple3) -> rule6)) -> rule1))] @3: Erin is kind.[(((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule7))] @4: Erin is round.[(((((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule7)) -> rule5))] @5: Erin is red.[(((((((((triple4 ((triple3) -> rule6)) -> rule1)) -> rule7)) -> rule5) ((triple3) -> rule6)) -> rule3))]