Charlie is big. Charlie is cold. Charlie is green. Charlie is quiet. Charlie is red. Dave is big. Dave is quiet. Gary is big. Gary is green. Gary is nice. Harry is not cold. If Dave is quiet and Dave is nice then Dave is white. Quiet people are green. If Dave is white and Dave is green then Dave is big. All white people are cold. If someone is cold then they are red. If someone is green and quiet then they are nice. Red people are big. All quiet people are big. If someone is nice and not red then they are big.
Gary is not red.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule8) OR ((triple5) -> rule7) OR ((((triple2) -> rule5)) -> rule7))] Charlie is cold.[(triple2)] Charlie is green.[(triple3 OR ((triple4) -> rule2))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5 OR ((triple2) -> rule5))] Dave is big.[(triple6 OR ((triple7) -> rule8) OR ((((triple7 ((((triple7) -> rule2) triple7) -> rule6)) -> rule1) ((triple7) -> rule2)) -> rule3) OR ((((((((triple7 ((((triple7) -> rule2) triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule7))] Dave is quiet.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Harry is not cold.[(triple11)] @1: Charlie is nice.[(((triple3 triple4) -> rule6) OR ((((triple4) -> rule2) triple4) -> rule6))] Dave is green.[(((triple7) -> rule2))] @2: Dave is nice.[(((((triple7) -> rule2) triple7) -> rule6))] @3: Dave is white.[(((triple7 ((((triple7) -> rule2) triple7) -> rule6)) -> rule1))] @4: Dave is cold.[(((((triple7 ((((triple7) -> rule2) triple7) -> rule6)) -> rule1)) -> rule4))] @5: Dave is red.[(((((((triple7 ((((triple7) -> rule2) triple7) -> rule6)) -> rule1)) -> rule4)) -> rule5))]