Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is nice. Charlie is rough. Charlie is round. Dave is big. Dave is furry. Dave is nice. Dave is round. Harry is blue. Harry is furry. Harry is green. Harry is nice. If something is green and nice then it is big. If Charlie is blue then Charlie is rough. All furry things are nice. Nice things are blue. If something is rough then it is furry. If Charlie is round and Charlie is green then Charlie is big.
Dave is green.
@0: Charlie is big.[(triple1 OR ((triple4 triple5) -> rule1) OR ((triple7 triple4) -> rule6) OR ((triple4 ((triple3) -> rule3)) -> rule1) OR ((triple4 ((((triple6) -> rule5)) -> rule3)) -> rule1) OR ((triple4 ((((((triple2) -> rule2)) -> rule5)) -> rule3)) -> rule1))] Charlie is blue.[(triple2 OR ((triple5) -> rule4) OR ((((triple3) -> rule3)) -> rule4) OR ((((((triple6) -> rule5)) -> rule3)) -> rule4))] Charlie is furry.[(triple3 OR ((triple6) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((((triple5) -> rule4)) -> rule2)) -> rule5))] Charlie is green.[(triple4)] Charlie is nice.[(triple5 OR ((triple3) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((((triple2) -> rule2)) -> rule5)) -> rule3))] Charlie is rough.[(triple6 OR ((triple2) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4)) -> rule2))] Charlie is round.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is nice.[(triple10 OR ((triple9) -> rule3))] Dave is round.[(triple11)] Harry is blue.[(triple12 OR ((triple15) -> rule4) OR ((((triple13) -> rule3)) -> rule4))] Harry is furry.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15 OR ((triple13) -> rule3))] @1: Dave is blue.[(((triple10) -> rule4) OR ((((triple9) -> rule3)) -> rule4))] Harry is big.[(((triple14 triple15) -> rule1) OR ((triple14 ((triple13) -> rule3)) -> rule1))]