Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is young. If someone is big and blue then they are furry. If someone is red then they are blue. All red people are big.
Fiona is not young.
@0: Fiona is big.[(triple1 OR ((triple6) -> rule3))] Fiona is blue.[(triple2 OR ((triple6) -> rule2))] Fiona is furry.[(triple3 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple6) -> rule2)) -> rule1) OR ((((triple6) -> rule3) triple2) -> rule1) OR ((((triple6) -> rule3) ((triple6) -> rule2)) -> rule1))] Fiona is green.[(triple4)] Fiona is quiet.[(triple5)] Fiona is red.[(triple6)] Fiona is young.[(triple7)]