Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. If Fiona is white and Fiona is not nice then Fiona is rough. If something is nice and not quiet then it is rough. All rough, smart things are white. Rough, white things are red. If something is smart then it is red. Quiet, nice things are red. If something is smart and not rough then it is cold. If something is nice and red then it is cold.
Fiona is nice.
@0: Fiona is cold.[(triple1 OR ((triple2 triple4) -> rule8) OR ((triple2 ((triple6) -> rule5)) -> rule8) OR ((triple2 ((triple3 triple2) -> rule6)) -> rule8) OR ((triple2 ((triple5 triple7) -> rule4)) -> rule8) OR ((triple2 ((triple5 ((triple5 triple6) -> rule3)) -> rule4)) -> rule8))] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple6) -> rule5) OR ((triple3 triple2) -> rule6) OR ((triple5 triple7) -> rule4) OR ((triple5 ((triple5 triple6) -> rule3)) -> rule4))] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7 OR ((triple5 triple6) -> rule3))]