Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is smart. Fiona is young. Big, young things are furry. Cold, furry things are blue. All smart things are blue.
Fiona is not smart.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple6) -> rule3) OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple1 triple7) -> rule1)) -> rule2))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple1 triple7) -> rule1))] Fiona is rough.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]