Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is smart. Rough people are red. Kind, cold people are red. If Fiona is not cold and Fiona is not smart then Fiona is not rough. All smart, kind people are green. If someone is kind and not cold then they are green. All cold, red people are furry.
Fiona is smart.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple1 triple5) -> rule6) OR ((triple1 ((triple6) -> rule1)) -> rule6) OR ((triple1 ((triple4 triple1) -> rule2)) -> rule6))] Fiona is green.[(triple3 OR ((triple7 triple4) -> rule4))] Fiona is kind.[(triple4)] Fiona is red.[(triple5 OR ((triple6) -> rule1) OR ((triple4 triple1) -> rule2))] Fiona is rough.[(triple6)] Fiona is smart.[(triple7)]