Fiona is big. Fiona is blue. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is white. Fiona is young. Blue, kind things are big. If something is blue then it is kind.
Fiona is big.
@0: Fiona is big.[(triple1 OR ((triple2 triple3) -> rule1) OR ((triple2 ((triple2) -> rule2)) -> rule1))] Fiona is blue.[(triple2)] Fiona is kind.[(triple3 OR ((triple2) -> rule2))] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]