Fiona is blue. Fiona is cold. Fiona is furry. Fiona is not green. Fiona is red. Fiona is rough. Fiona is not smart. Green things are rough. If Fiona is not rough then Fiona is smart. Cold, red things are blue. Blue things are red. Blue, furry things are red. If Fiona is not smart then Fiona is blue.
Fiona is blue.
@0: Fiona is blue.[(triple1 OR ((triple7) -> rule6) OR ((triple2 triple5) -> rule3))] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is not green.[(triple4)] Fiona is not smart.[(triple7)] Fiona is red.[(triple5 OR ((triple1) -> rule4) OR ((triple1 triple3) -> rule5) OR ((((triple7) -> rule6)) -> rule4) OR ((((triple7) -> rule6) triple3) -> rule5))] Fiona is rough.[(triple6)]