Charlie is big. Charlie is furry. Erin is cold. Erin is furry. Erin is kind. Erin is red. Erin is white. Fiona is white. Harry is red. Harry is white. All red things are cold. If something is cold and red then it is white. If something is big then it is red.
Fiona is not big.
@0: Charlie is big.[(triple1)] Charlie is furry.[(triple2)] Erin is cold.[(triple3 OR ((triple6) -> rule1))] Erin is furry.[(triple4)] Erin is kind.[(triple5)] Erin is red.[(triple6)] Erin is white.[(triple7 OR ((triple3 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2))] Fiona is white.[(triple8)] Harry is red.[(triple9)] Harry is white.[(triple10 OR ((((triple9) -> rule1) triple9) -> rule2))] @1: Charlie is red.[(((triple1) -> rule3))] Harry is cold.[(((triple9) -> rule1))] @2: Charlie is cold.[(((((triple1) -> rule3)) -> rule1))] @3: Charlie is white.[(((((((triple1) -> rule3)) -> rule1) ((triple1) -> rule3)) -> rule2))]