Anne is big. Charlie is young. Fiona is big. Harry is furry. All furry, quiet people are big. All furry, blue people are cold. If Charlie is quiet then Charlie is big. If someone is furry then they are quiet. If someone is cold and big then they are blue. If someone is quiet and young then they are cold. If Fiona is big then Fiona is furry. All young people are furry.
Fiona is not cold.
@0: Anne is big.[(triple1)] Charlie is young.[(triple2)] Fiona is big.[(triple3)] Harry is furry.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule8))] Fiona is furry.[(((triple3) -> rule7))] Harry is quiet.[(((triple4) -> rule4))] @2: Charlie is quiet.[(((((triple2) -> rule8)) -> rule4))] Fiona is quiet.[(((((triple3) -> rule7)) -> rule4))] Harry is big.[(((triple4 ((triple4) -> rule4)) -> rule1))] @3: Charlie is big.[(((((((triple2) -> rule8)) -> rule4)) -> rule3) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule1))] Charlie is cold.[(((((((triple2) -> rule8)) -> rule4) triple2) -> rule6))] @4: Charlie is blue.[(((((((((triple2) -> rule8)) -> rule4) triple2) -> rule6) ((((((triple2) -> rule8)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple2) -> rule8)) -> rule4) triple2) -> rule6) ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule4)) -> rule1)) -> rule5))]