Bob is young. Charlie is blue. Charlie is furry. Charlie is green. Charlie is quiet. Charlie is red. Charlie is young. Dave is blue. Dave is furry. Dave is green. Dave is quiet. Dave is red. Dave is round. Dave is young. Harry is green. Harry is young. All furry, round people are young. If Charlie is round then Charlie is quiet. Quiet people are furry. Blue people are green. If someone is quiet then they are blue. If Harry is furry and Harry is quiet then Harry is green. All red people are furry. If someone is green then they are quiet.
Dave is green.
@0: Bob is young.[(triple1)] Charlie is blue.[(triple2 OR ((triple5) -> rule5) OR ((((triple4) -> rule8)) -> rule5))] Charlie is furry.[(triple3 OR ((triple5) -> rule3) OR ((triple6) -> rule7) OR ((((triple4) -> rule8)) -> rule3) OR ((((((triple2) -> rule4)) -> rule8)) -> rule3))] Charlie is green.[(triple4 OR ((triple2) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] Charlie is quiet.[(triple5 OR ((triple4) -> rule8) OR ((((triple2) -> rule4)) -> rule8))] Charlie is red.[(triple6)] Charlie is young.[(triple7)] Dave is blue.[(triple8 OR ((triple11) -> rule5) OR ((((triple10) -> rule8)) -> rule5))] Dave is furry.[(triple9 OR ((triple11) -> rule3) OR ((triple12) -> rule7) OR ((((triple10) -> rule8)) -> rule3) OR ((((((triple8) -> rule4)) -> rule8)) -> rule3))] Dave is green.[(triple10 OR ((triple8) -> rule4) OR ((((triple11) -> rule5)) -> rule4))] Dave is quiet.[(triple11 OR ((triple10) -> rule8) OR ((((triple8) -> rule4)) -> rule8))] Dave is red.[(triple12)] Dave is round.[(triple13)] Dave is young.[(triple14 OR ((triple9 triple13) -> rule1) OR ((((triple11) -> rule3) triple13) -> rule1) OR ((((triple12) -> rule7) triple13) -> rule1) OR ((((((triple10) -> rule8)) -> rule3) triple13) -> rule1) OR ((((((((triple8) -> rule4)) -> rule8)) -> rule3) triple13) -> rule1))] Harry is green.[(triple15)] Harry is young.[(triple16)] @1: Harry is quiet.[(((triple15) -> rule8))] @2: Harry is blue.[(((((triple15) -> rule8)) -> rule5))] Harry is furry.[(((((triple15) -> rule8)) -> rule3))]