Charlie is big. Charlie is smart. Charlie is white. Dave is big. Dave is cold. Dave is red. Dave is smart. Dave is young. Gary is cold. Gary is not nice. If something is young then it is nice. If something is smart then it is nice. If something is smart then it is cold. If something is smart then it is red. Red things are big. If something is nice and white then it is not young.
Gary is not big.
@0: Charlie is big.[(triple1 OR ((((triple2) -> rule4)) -> rule5))] Charlie is smart.[(triple2)] Charlie is white.[(triple3)] Dave is big.[(triple4 OR ((triple6) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] Dave is cold.[(triple5 OR ((triple7) -> rule3))] Dave is red.[(triple6 OR ((triple7) -> rule4))] Dave is smart.[(triple7)] Dave is young.[(triple8)] Gary is cold.[(triple9)] Gary is not nice.[(triple10)] @1: Charlie is cold.[(((triple2) -> rule3))] Charlie is nice.[(((triple2) -> rule2))] Charlie is red.[(((triple2) -> rule4))] Dave is nice.[(((triple7) -> rule2) OR ((triple8) -> rule1))] @2: Charlie is not young.[(((((triple2) -> rule2) triple3) -> rule6))]