Dave is big. Dave is blue. Dave is green. Dave is quiet. Dave is smart. Fiona is furry. Fiona is green. All blue things are smart. Big things are furry. If something is furry then it is blue.
Fiona is smart.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((((triple1) -> rule2)) -> rule3))] Dave is green.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5 OR ((triple2) -> rule1) OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] Fiona is furry.[(triple6)] Fiona is green.[(triple7)] @1: Dave is furry.[(((triple1) -> rule2))] Fiona is blue.[(((triple6) -> rule3))] @2: Fiona is smart.[(((((triple6) -> rule3)) -> rule1))]