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