Fiona is big. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. Fiona is young. Young things are quiet. All furry things are big. If something is big and furry then it is young. If Fiona is big then Fiona is quiet. Nice things are furry. If something is round then it is smart.
Fiona is smart.
@0: Fiona is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule5)) -> rule2))] Fiona is furry.[(triple2 OR ((triple3) -> rule5))] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4 OR ((triple1) -> rule4) OR ((triple7) -> rule1) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple1 triple2) -> rule3)) -> rule1) OR ((((((triple3) -> rule5)) -> rule2)) -> rule4) OR ((((triple1 ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) triple2) -> rule3)) -> rule1) OR ((((((triple2) -> rule2) ((triple3) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule2) triple2) -> rule3)) -> rule1) OR ((((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule3)) -> rule1))] Fiona is round.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule6))] Fiona is young.[(triple7 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple3) -> rule5)) -> rule3) OR ((((triple2) -> rule2) triple2) -> rule3) OR ((((triple2) -> rule2) ((triple3) -> rule5)) -> rule3) OR ((((((triple3) -> rule5)) -> rule2) triple2) -> rule3) OR ((((((triple3) -> rule5)) -> rule2) ((triple3) -> rule5)) -> rule3))]