Charlie is cold. Charlie is rough. Charlie is round. Charlie is young. Dave is big. Dave is cold. Dave is kind. Dave is white. Gary is round. Gary is white. If something is kind then it is big. If something is cold then it is young. All rough, kind things are round. Kind, young things are white. All kind, young things are rough. Big, cold things are round. If something is rough then it is kind. Round things are big.
Charlie is young.
@0: Charlie is cold.[(triple1)] Charlie is rough.[(triple2)] Charlie is round.[(triple3 OR ((triple2 ((triple2) -> rule7)) -> rule3) OR ((((((triple2) -> rule7)) -> rule1) triple1) -> rule6))] Charlie is young.[(triple4 OR ((triple1) -> rule2))] Dave is big.[(triple5 OR ((triple7) -> rule1) OR ((((((triple7 ((triple6) -> rule2)) -> rule5) triple7) -> rule3)) -> rule8))] Dave is cold.[(triple6)] Dave is kind.[(triple7)] Dave is white.[(triple8 OR ((triple7 ((triple6) -> rule2)) -> rule4))] Gary is round.[(triple9)] Gary is white.[(triple10)] @1: Charlie is big.[(((triple3) -> rule8) OR ((((triple2) -> rule7)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule3)) -> rule8))] Charlie is kind.[(((triple2) -> rule7))] Dave is round.[(((triple5 triple6) -> rule6) OR ((((triple7) -> rule1) triple6) -> rule6) OR ((((triple7 ((triple6) -> rule2)) -> rule5) triple7) -> rule3))] Dave is young.[(((triple6) -> rule2))] Gary is big.[(((triple9) -> rule8))] @2: Charlie is white.[(((((triple2) -> rule7) triple4) -> rule4) OR ((((triple2) -> rule7) ((triple1) -> rule2)) -> rule4))] Dave is rough.[(((triple7 ((triple6) -> rule2)) -> rule5))]