Charlie is cold. Charlie is quiet. Charlie is red. Charlie is young. Dave is blue. Dave is cold. Dave is kind. Dave is red. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is red. Harry is cold. Harry is quiet. Harry is smart. If Charlie is young and Charlie is cold then Charlie is kind. Smart people are kind. If someone is blue and cold then they are smart. Kind people are red. If someone is red and cold then they are blue. If Gary is young then Gary is quiet.
Dave is not young.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is red.[(triple3 OR ((((triple4 triple1) -> rule1)) -> rule4))] Charlie is young.[(triple4)] Dave is blue.[(triple5 OR ((triple8 triple6) -> rule5) OR ((((triple7) -> rule4) triple6) -> rule5))] Dave is cold.[(triple6)] Dave is kind.[(triple7 OR ((((triple5 triple6) -> rule3)) -> rule2) OR ((((((triple8 triple6) -> rule5) triple6) -> rule3)) -> rule2))] Dave is red.[(triple8 OR ((triple7) -> rule4) OR ((((((triple5 triple6) -> rule3)) -> rule2)) -> rule4))] Gary is blue.[(triple9 OR ((triple13 triple10) -> rule5) OR ((((triple11) -> rule4) triple10) -> rule5))] Gary is cold.[(triple10)] Gary is kind.[(triple11 OR ((((triple9 triple10) -> rule3)) -> rule2) OR ((((((triple13 triple10) -> rule5) triple10) -> rule3)) -> rule2))] Gary is quiet.[(triple12)] Gary is red.[(triple13 OR ((triple11) -> rule4) OR ((((((triple9 triple10) -> rule3)) -> rule2)) -> rule4))] Harry is cold.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is blue.[(((triple3 triple1) -> rule5) OR ((((((triple4 triple1) -> rule1)) -> rule4) triple1) -> rule5))] Charlie is kind.[(((triple4 triple1) -> rule1) OR ((((((triple3 triple1) -> rule5) triple1) -> rule3)) -> rule2))] Dave is smart.[(((triple5 triple6) -> rule3) OR ((((triple8 triple6) -> rule5) triple6) -> rule3) OR ((((((triple7) -> rule4) triple6) -> rule5) triple6) -> rule3))] Gary is smart.[(((triple9 triple10) -> rule3) OR ((((triple13 triple10) -> rule5) triple10) -> rule3) OR ((((((triple11) -> rule4) triple10) -> rule5) triple10) -> rule3))] Harry is kind.[(((triple16) -> rule2))] @2: Charlie is smart.[(((((triple3 triple1) -> rule5) triple1) -> rule3) OR ((((((((triple4 triple1) -> rule1)) -> rule4) triple1) -> rule5) triple1) -> rule3))] Harry is red.[(((((triple16) -> rule2)) -> rule4))] @3: Harry is blue.[(((((((triple16) -> rule2)) -> rule4) triple14) -> rule5))]