Charlie is big. Charlie is cold. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. If someone is red then they are cold. If someone is furry and quiet then they are cold. If Charlie is red then Charlie is furry. Furry people are quiet. If someone is quiet and red then they are kind. Cold people are red.
Fiona is nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Fiona is big.[(triple3)] Fiona is cold.[(triple4 OR ((triple7) -> rule1))] Fiona is kind.[(triple5 OR ((triple6 triple7) -> rule5) OR ((triple6 ((triple4) -> rule6)) -> rule5))] Fiona is quiet.[(triple6)] Fiona is red.[(triple7 OR ((triple4) -> rule6))] @1: Charlie is red.[(((triple2) -> rule6))] @2: Charlie is furry.[(((((triple2) -> rule6)) -> rule3))] @3: Charlie is quiet.[(((((((triple2) -> rule6)) -> rule3)) -> rule4))] @4: Charlie is kind.[(((((((((triple2) -> rule6)) -> rule3)) -> rule4) ((triple2) -> rule6)) -> rule5))]