Fiona is blue. Fiona is rough. Fiona is young. Young people are big. If someone is young then they are rough. All nice people are big. Nice people are big. Nice people are big. If Fiona is furry and Fiona is big then Fiona is young. Nice people are furry. Young people are blue.
Fiona is not blue.
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule8))] Fiona is rough.[(triple2 OR ((triple3) -> rule2))] Fiona is young.[(triple3)] @1: Fiona is big.[(((triple3) -> rule1))]