Bob is not young. Fiona is big. Fiona is furry. Fiona is nice. Fiona is red. Fiona is smart. Fiona is young. Nice things are smart. Red things are big.
Fiona is nice.
@0: Bob is not young.[(triple1)] Fiona is big.[(triple2 OR ((triple5) -> rule2))] Fiona is furry.[(triple3)] Fiona is nice.[(triple4)] Fiona is red.[(triple5)] Fiona is smart.[(triple6 OR ((triple4) -> rule1))] Fiona is young.[(triple7)]