Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. If Fiona is young then Fiona is furry. If Fiona is rough and Fiona is not red then Fiona is green. If Fiona is cold and Fiona is kind then Fiona is young. Rough, green things are furry. If something is red and furry then it is green. If something is furry and not young then it is not green.
Fiona is cold.
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2 OR ((triple7) -> rule1) OR ((triple6 triple3) -> rule4) OR ((((triple1 triple4) -> rule3)) -> rule1))] Fiona is green.[(triple3 OR ((triple5 triple2) -> rule5) OR ((triple5 ((triple7) -> rule1)) -> rule5) OR ((triple5 ((((triple1 triple4) -> rule3)) -> rule1)) -> rule5))] Fiona is kind.[(triple4)] Fiona is red.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7 OR ((triple1 triple4) -> rule3))]