Fiona is big. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is white. If something is cold then it is nice. Nice things are big. If Fiona is big then Fiona is smart. If Fiona is white and Fiona is smart then Fiona is quiet. If Fiona is smart then Fiona is nice. All nice things are cold.
Fiona is not quiet.
@0: Fiona is big.[(triple1 OR ((triple4) -> rule2) OR ((((triple2) -> rule1)) -> rule2) OR ((((triple6) -> rule5)) -> rule2))] Fiona is cold.[(triple2 OR ((triple4) -> rule6) OR ((((triple6) -> rule5)) -> rule6) OR ((((((triple1) -> rule3)) -> rule5)) -> rule6))] Fiona is furry.[(triple3)] Fiona is nice.[(triple4 OR ((triple2) -> rule1) OR ((triple6) -> rule5) OR ((((triple1) -> rule3)) -> rule5))] Fiona is quiet.[(triple5 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple1) -> rule3)) -> rule4) OR ((triple7 ((((triple4) -> rule2)) -> rule3)) -> rule4) OR ((triple7 ((((((triple2) -> rule1)) -> rule2)) -> rule3)) -> rule4))] Fiona is smart.[(triple6 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((((triple2) -> rule1)) -> rule2)) -> rule3))] Fiona is white.[(triple7)]