Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is round. Bob is quiet. Bob is round. Charlie is blue. Charlie is green. Charlie is quiet. Dave is green. Dave is round. Green things are cold.
Bob is quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple4) -> rule1))] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is round.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Charlie is blue.[(triple8)] Charlie is green.[(triple9)] Charlie is quiet.[(triple10)] Dave is green.[(triple11)] Dave is round.[(triple12)] @1: Charlie is cold.[(((triple9) -> rule1))] Dave is cold.[(((triple11) -> rule1))]