Fiona is quiet. Fiona is red. Fiona is rough. If something is big then it is young. If something is quiet then it is young. All red, young things are quiet. All quiet things are red. If Fiona is red and Fiona is big then Fiona is kind. All rough things are furry. Red, young things are big. Furry things are rough.
Fiona is kind.
@0: Fiona is quiet.[(triple1)] Fiona is red.[(triple2 OR ((triple1) -> rule4))] Fiona is rough.[(triple3)] @1: Fiona is furry.[(((triple3) -> rule6))] Fiona is young.[(((triple1) -> rule2))] @2: Fiona is big.[(((triple2 ((triple1) -> rule2)) -> rule7) OR ((((triple1) -> rule4) ((triple1) -> rule2)) -> rule7))] @3: Fiona is kind.[(((triple2 ((triple2 ((triple1) -> rule2)) -> rule7)) -> rule5) OR ((triple2 ((((triple1) -> rule4) ((triple1) -> rule2)) -> rule7)) -> rule5) OR ((((triple1) -> rule4) ((triple2 ((triple1) -> rule2)) -> rule7)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple1) -> rule2)) -> rule7)) -> rule5))]