Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Anne is round. Charlie is big. Charlie is furry. Charlie is round. Dave is cold. Dave is furry. Dave is nice. If someone is big then they are furry. If Charlie is cold and Charlie is rough then Charlie is nice. All round, quiet people are cold. Nice people are cold. All round people are rough. Big people are quiet.
Dave is round.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule1))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple1) -> rule6))] Anne is rough.[(triple5 OR ((triple6) -> rule5))] Anne is round.[(triple6)] Charlie is big.[(triple7)] Charlie is furry.[(triple8 OR ((triple7) -> rule1))] Charlie is round.[(triple9)] Dave is cold.[(triple10 OR ((triple12) -> rule4))] Dave is furry.[(triple11)] Dave is nice.[(triple12)] @1: Anne is cold.[(((triple3) -> rule4) OR ((triple6 triple4) -> rule3) OR ((triple6 ((triple1) -> rule6)) -> rule3))] Charlie is quiet.[(((triple7) -> rule6))] Charlie is rough.[(((triple9) -> rule5))] @2: Charlie is cold.[(((triple9 ((triple7) -> rule6)) -> rule3))] @3: Charlie is nice.[(((((triple9 ((triple7) -> rule6)) -> rule3) ((triple9) -> rule5)) -> rule2))]