Dave is big. Dave is nice. Dave is smart. Dave is white. Erin is big. Erin is round. Erin is white. Erin is young. Gary is big. Gary is young. Big people are kind. Nice, young people are big. If someone is big and nice then they are white. If Dave is young then Dave is nice. If someone is nice then they are round. All young, kind people are nice.
Gary is not nice.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Dave is smart.[(triple3)] Dave is white.[(triple4 OR ((triple1 triple2) -> rule3))] Erin is big.[(triple5)] Erin is round.[(triple6 OR ((((triple8 ((triple5) -> rule1)) -> rule6)) -> rule5))] Erin is white.[(triple7 OR ((triple5 ((triple8 ((triple5) -> rule1)) -> rule6)) -> rule3))] Erin is young.[(triple8)] Gary is big.[(triple9)] Gary is young.[(triple10)] @1: Dave is kind.[(((triple1) -> rule1))] Dave is round.[(((triple2) -> rule5))] Erin is kind.[(((triple5) -> rule1))] Gary is kind.[(((triple9) -> rule1))] @2: Erin is nice.[(((triple8 ((triple5) -> rule1)) -> rule6))] Gary is nice.[(((triple10 ((triple9) -> rule1)) -> rule6))] @3: Gary is round.[(((((triple10 ((triple9) -> rule1)) -> rule6)) -> rule5))] Gary is white.[(((triple9 ((triple10 ((triple9) -> rule1)) -> rule6)) -> rule3))]