Bob is blue. Bob is green. Bob is round. Charlie is blue. Charlie is green. Charlie is young. Dave is blue. Dave is cold. Dave is green. Dave is kind. If Charlie is round and Charlie is blue then Charlie is cold. Kind people are blue. If Dave is kind then Dave is green. All green, nice people are round. All green people are cold. If Charlie is cold and Charlie is young then Charlie is nice.
Charlie is nice.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is green.[(triple5)] Charlie is young.[(triple6)] Dave is blue.[(triple7 OR ((triple10) -> rule2))] Dave is cold.[(triple8 OR ((triple9) -> rule5) OR ((((triple10) -> rule3)) -> rule5))] Dave is green.[(triple9 OR ((triple10) -> rule3))] Dave is kind.[(triple10)] @1: Bob is cold.[(((triple2) -> rule5))] Charlie is cold.[(((triple5) -> rule5))] @2: Charlie is nice.[(((((triple5) -> rule5) triple6) -> rule6))] @3: Charlie is round.[(((triple5 ((((triple5) -> rule5) triple6) -> rule6)) -> rule4))]