Dave is big. Dave is blue. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Fiona is big. Fiona is nice. Fiona is round. Harry is big. Harry is blue. Harry is furry. Harry is quiet. Harry is round. If Fiona is big and Fiona is round then Fiona is quiet. All round things are furry. If something is blue then it is round. If Harry is furry then Harry is smart. Nice things are quiet. Furry, big things are quiet.
Fiona is smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3 OR ((triple6) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple4) -> rule5) OR ((triple3 triple1) -> rule6) OR ((((triple6) -> rule2) triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule2) triple1) -> rule6))] Dave is round.[(triple6 OR ((triple2) -> rule3))] Dave is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is nice.[(triple9)] Fiona is round.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is furry.[(triple13 OR ((triple15) -> rule2) OR ((((triple12) -> rule3)) -> rule2))] Harry is quiet.[(triple14 OR ((triple13 triple11) -> rule6) OR ((((triple15) -> rule2) triple11) -> rule6) OR ((((((triple12) -> rule3)) -> rule2) triple11) -> rule6))] Harry is round.[(triple15 OR ((triple12) -> rule3))] @1: Fiona is furry.[(((triple10) -> rule2))] Fiona is quiet.[(((triple9) -> rule5) OR ((triple8 triple10) -> rule1) OR ((((triple10) -> rule2) triple8) -> rule6))] Harry is smart.[(((triple13) -> rule4) OR ((((triple15) -> rule2)) -> rule4) OR ((((((triple12) -> rule3)) -> rule2)) -> rule4))]