Anne is big. Anne is cold. Anne is red. Anne is white. Anne is young. Bob is white. Erin is cold. Fiona is big. Fiona is nice. Fiona is red. If someone is cold then they are young. If someone is red and cold then they are big. If someone is furry then they are cold. If someone is nice then they are furry. If someone is big and nice then they are furry. All big people are nice.
Fiona is white.
@0: Anne is big.[(triple1 OR ((triple3 triple2) -> rule2))] Anne is cold.[(triple2 OR ((((((triple1) -> rule6)) -> rule4)) -> rule3) OR ((((triple1 ((triple1) -> rule6)) -> rule5)) -> rule3))] Anne is red.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple2) -> rule1) OR ((((((((triple1) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple1 ((triple1) -> rule6)) -> rule5)) -> rule3)) -> rule1))] Bob is white.[(triple6)] Erin is cold.[(triple7)] Fiona is big.[(triple8 OR ((triple10 ((((triple9) -> rule4)) -> rule3)) -> rule2))] Fiona is nice.[(triple9 OR ((triple8) -> rule6))] Fiona is red.[(triple10)] @1: Anne is nice.[(((triple1) -> rule6) OR ((((triple3 triple2) -> rule2)) -> rule6))] Erin is young.[(((triple7) -> rule1))] Fiona is furry.[(((triple9) -> rule4) OR ((triple8 triple9) -> rule5) OR ((((triple8) -> rule6)) -> rule4) OR ((triple8 ((triple8) -> rule6)) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule6)) -> rule4) OR ((triple1 ((triple1) -> rule6)) -> rule5) OR ((((triple3 triple2) -> rule2) ((triple1) -> rule6)) -> rule5) OR ((((((triple3 triple2) -> rule2)) -> rule6)) -> rule4) OR ((triple1 ((((triple3 triple2) -> rule2)) -> rule6)) -> rule5) OR ((((triple3 triple2) -> rule2) ((((triple3 triple2) -> rule2)) -> rule6)) -> rule5))] Fiona is cold.[(((((triple9) -> rule4)) -> rule3) OR ((((triple8 triple9) -> rule5)) -> rule3) OR ((((((triple8) -> rule6)) -> rule4)) -> rule3) OR ((((triple8 ((triple8) -> rule6)) -> rule5)) -> rule3))] @3: Fiona is young.[(((((((triple9) -> rule4)) -> rule3)) -> rule1) OR ((((((triple8 triple9) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple8) -> rule6)) -> rule4)) -> rule3)) -> rule1) OR ((((((triple8 ((triple8) -> rule6)) -> rule5)) -> rule3)) -> rule1))]