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