Anne is big. Anne is nice. Anne is red. Anne is round. Anne is young. Dave is furry. Dave is round. Erin is nice. Erin is young. Fiona is big. If Anne is big and Anne is young then Anne is furry. If something is round then it is big. Big things are red.
Dave is not big.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] Anne is round.[(triple4)] Anne is young.[(triple5)] Dave is furry.[(triple6)] Dave is round.[(triple7)] Erin is nice.[(triple8)] Erin is young.[(triple9)] Fiona is big.[(triple10)] @1: Anne is furry.[(((triple1 triple5) -> rule1) OR ((((triple4) -> rule2) triple5) -> rule1))] Dave is big.[(((triple7) -> rule2))] Fiona is red.[(((triple10) -> rule3))] @2: Dave is red.[(((((triple7) -> rule2)) -> rule3))]