Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is rough. Erin is big. Erin is nice. Gary is big. Gary is blue. Gary is rough. If something is big and nice then it is blue. Blue things are white.
Dave is green.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1 triple4) -> rule1))] Dave is cold.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Erin is big.[(triple6)] Erin is nice.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is rough.[(triple10)] @1: Dave is white.[(((triple2) -> rule2) OR ((((triple1 triple4) -> rule1)) -> rule2))] Erin is blue.[(((triple6 triple7) -> rule1))] Gary is white.[(((triple9) -> rule2))] @2: Erin is white.[(((((triple6 triple7) -> rule1)) -> rule2))]