Charlie is blue. Charlie is cold. Charlie is round. Dave is cold. Dave is nice. Dave is smart. Dave is young. Harry is cold. Harry is red. Harry is young. If someone is cold and blue then they are red. If Harry is nice then Harry is young. Young people are nice. If Harry is nice then Harry is blue. Cold people are nice. If someone is smart and cold then they are blue. Smart people are round. If Dave is red then Dave is young.
Charlie is young.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is round.[(triple3)] Dave is cold.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule5) OR ((triple7) -> rule3) OR ((((((triple4 ((triple6 triple4) -> rule6)) -> rule1)) -> rule8)) -> rule3))] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((((triple4 ((triple6 triple4) -> rule6)) -> rule1)) -> rule8))] Harry is cold.[(triple8)] Harry is red.[(triple9 OR ((triple8 ((((triple10) -> rule3)) -> rule4)) -> rule1) OR ((triple8 ((((triple8) -> rule5)) -> rule4)) -> rule1))] Harry is young.[(triple10 OR ((((triple8) -> rule5)) -> rule2))] @1: Charlie is nice.[(((triple2) -> rule5))] Charlie is red.[(((triple2 triple1) -> rule1))] Dave is blue.[(((triple6 triple4) -> rule6))] Dave is round.[(((triple6) -> rule7))] Harry is nice.[(((triple10) -> rule3) OR ((triple8) -> rule5))] @2: Dave is red.[(((triple4 ((triple6 triple4) -> rule6)) -> rule1))] Harry is blue.[(((((triple10) -> rule3)) -> rule4) OR ((((triple8) -> rule5)) -> rule4))]