Charlie is blue. Charlie is cold. Charlie is nice. Charlie is round. Charlie is not white. Charlie is young. Dave is nice. Dave is red. Dave is round. Dave is young. If something is blue then it is red. All young things are nice. All red, young things are nice. If something is young then it is blue. If something is blue then it is round. If something is white and not blue then it is round. If something is round and not red then it is white. All red things are not white.
Charlie is blue.
@0: Charlie is blue.[(triple1 OR ((triple6) -> rule4))] Charlie is cold.[(triple2)] Charlie is nice.[(triple3 OR ((triple6) -> rule2) OR ((((triple1) -> rule1) triple6) -> rule3) OR ((((((triple6) -> rule4)) -> rule1) triple6) -> rule3))] Charlie is not white.[(triple5 OR ((((triple1) -> rule1)) -> rule8) OR ((((((triple6) -> rule4)) -> rule1)) -> rule8))] Charlie is round.[(triple4 OR ((triple1) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] Charlie is young.[(triple6)] Dave is nice.[(triple7 OR ((triple10) -> rule2) OR ((triple8 triple10) -> rule3) OR ((((((triple10) -> rule4)) -> rule1) triple10) -> rule3))] Dave is red.[(triple8 OR ((((triple10) -> rule4)) -> rule1))] Dave is round.[(triple9 OR ((((triple10) -> rule4)) -> rule5))] Dave is young.[(triple10)] @1: Charlie is red.[(((triple1) -> rule1) OR ((((triple6) -> rule4)) -> rule1))] Dave is blue.[(((triple10) -> rule4))] Dave is not white.[(((triple8) -> rule8) OR ((((((triple10) -> rule4)) -> rule1)) -> rule8))]