Dave is kind. Dave is red. Dave is rough. Fiona is quiet. Gary is kind. Gary is not nice. Gary is not white. White people are nice. If Gary is nice then Gary is not rough. If Dave is rough and Dave is red then Dave is quiet. If someone is kind and not nice then they are quiet. If someone is red and not rough then they are not big. All quiet people are big.
Gary is red.
@0: Dave is kind.[(triple1)] Dave is red.[(triple2)] Dave is rough.[(triple3)] Fiona is quiet.[(triple4)] Gary is kind.[(triple5)] Gary is not nice.[(triple6)] Gary is not white.[(triple7)] @1: Dave is quiet.[(((triple3 triple2) -> rule3))] Fiona is big.[(((triple4) -> rule6))] Gary is quiet.[(((triple5 triple6) -> rule4))] @2: Dave is big.[(((((triple3 triple2) -> rule3)) -> rule6))] Gary is big.[(((((triple5 triple6) -> rule4)) -> rule6))]