Anne is blue. Anne is nice. Anne is round. Bob is blue. Bob is not nice. Erin is not blue. Erin is cold. Erin is furry. Erin is round. Fiona is green. If something is young and cold then it is round. All cold things are young. Blue things are young. Green things are blue. If something is blue then it is cold. If Erin is round then Erin is young. All blue things are furry. If something is blue and not cold then it is furry.
Erin is not cold.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is round.[(triple3 OR ((((triple1) -> rule3) ((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule5)) -> rule2) ((triple1) -> rule5)) -> rule1))] Bob is blue.[(triple4)] Bob is not nice.[(triple5)] Erin is cold.[(triple7)] Erin is furry.[(triple8)] Erin is not blue.[(triple6)] Erin is round.[(triple9 OR ((((triple7) -> rule2) triple7) -> rule1))] Fiona is green.[(triple10)] @1: Anne is cold.[(((triple1) -> rule5))] Anne is furry.[(((triple1) -> rule7))] Anne is young.[(((triple1) -> rule3) OR ((((triple1) -> rule5)) -> rule2))] Bob is cold.[(((triple4) -> rule5))] Bob is furry.[(((triple4) -> rule7))] Bob is young.[(((triple4) -> rule3) OR ((((triple4) -> rule5)) -> rule2))] Erin is young.[(((triple7) -> rule2) OR ((triple9) -> rule6))] Fiona is blue.[(((triple10) -> rule4))] @2: Bob is round.[(((((triple4) -> rule3) ((triple4) -> rule5)) -> rule1) OR ((((((triple4) -> rule5)) -> rule2) ((triple4) -> rule5)) -> rule1))] Fiona is cold.[(((((triple10) -> rule4)) -> rule5))] Fiona is furry.[(((((triple10) -> rule4)) -> rule7))] Fiona is young.[(((((triple10) -> rule4)) -> rule3) OR ((((((triple10) -> rule4)) -> rule5)) -> rule2))] @3: Fiona is round.[(((((((triple10) -> rule4)) -> rule3) ((((triple10) -> rule4)) -> rule5)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule5)) -> rule2) ((((triple10) -> rule4)) -> rule5)) -> rule1))]