Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. All quiet, blue things are furry. Quiet, blue things are young. If Fiona is furry and Fiona is young then Fiona is smart.
Fiona is green.
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple10 triple6) -> rule1))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11 OR ((triple7 triple12) -> rule3) OR ((triple7 ((triple10 triple6) -> rule2)) -> rule3) OR ((((triple10 triple6) -> rule1) triple12) -> rule3) OR ((((triple10 triple6) -> rule1) ((triple10 triple6) -> rule2)) -> rule3))] Fiona is young.[(triple12 OR ((triple10 triple6) -> rule2))] @1: Dave is furry.[(((triple4 triple1) -> rule1))] Dave is young.[(((triple4 triple1) -> rule2))]