Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is red. Erin is nice. Erin is rough. Gary is blue. Gary is red. Gary is rough. Big people are red. If someone is nice and kind then they are big.
Gary is not rough.
@0: Dave is big.[(triple1 OR ((triple4 triple3) -> rule2))] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is red.[(triple5 OR ((triple1) -> rule1) OR ((((triple4 triple3) -> rule2)) -> rule1))] Erin is nice.[(triple6)] Erin is rough.[(triple7)] Gary is blue.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)]