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