Fiona is big. Fiona is furry. Fiona is red. All furry, quiet people are kind. Kind, red people are rough. Big people are red. All furry, red people are quiet. All kind, quiet people are red. Kind, young people are red.
Fiona is rough.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is red.[(triple3 OR ((triple1) -> rule3))] @1: Fiona is quiet.[(((triple2 triple3) -> rule4) OR ((triple2 ((triple1) -> rule3)) -> rule4))] @2: Fiona is kind.[(((triple2 ((triple2 triple3) -> rule4)) -> rule1) OR ((triple2 ((triple2 ((triple1) -> rule3)) -> rule4)) -> rule1))] @3: Fiona is rough.[(((((triple2 ((triple2 triple3) -> rule4)) -> rule1) triple3) -> rule2) OR ((((triple2 ((triple2 triple3) -> rule4)) -> rule1) ((triple1) -> rule3)) -> rule2) OR ((((triple2 ((triple2 ((triple1) -> rule3)) -> rule4)) -> rule1) triple3) -> rule2) OR ((((triple2 ((triple2 ((triple1) -> rule3)) -> rule4)) -> rule1) ((triple1) -> rule3)) -> rule2))]