Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. If something is rough and quiet then it is kind. Quiet, round things are red. All rough things are smart. All quiet things are furry. All rough, round things are smart. All round, red things are furry. All round, quiet things are smart. Smart things are furry.
Fiona is rough.
@0: Fiona is furry.[(triple1 OR ((triple3) -> rule4) OR ((triple7) -> rule8) OR ((triple6 triple4) -> rule6) OR ((((triple5) -> rule3)) -> rule8) OR ((((triple5 triple6) -> rule5)) -> rule8) OR ((((triple6 triple3) -> rule7)) -> rule8) OR ((triple6 ((triple3 triple6) -> rule2)) -> rule6))] Fiona is kind.[(triple2 OR ((triple5 triple3) -> rule1))] Fiona is quiet.[(triple3)] Fiona is red.[(triple4 OR ((triple3 triple6) -> rule2))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7 OR ((triple5) -> rule3) OR ((triple5 triple6) -> rule5) OR ((triple6 triple3) -> rule7))]