Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is young. All blue things are big. Young things are big. Cold things are quiet. All cold, blue things are big. Rough, kind things are quiet. All young things are blue.
Fiona is quiet.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule1) OR ((triple7) -> rule2) OR ((triple3 triple2) -> rule4) OR ((((triple7) -> rule6)) -> rule1) OR ((triple3 ((triple7) -> rule6)) -> rule4))] Fiona is blue.[(triple2 OR ((triple7) -> rule6))] Fiona is cold.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3) -> rule3) OR ((triple6 triple4) -> rule5))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]