Dave is big. Dave is blue. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is white. All nice people are big. All white people are blue. Kind people are quiet. Nice, blue people are quiet. All quiet, nice people are kind. If someone is blue and nice then they are white.
Dave is big.
@0: Dave is big.[(triple1 OR ((triple4) -> rule1))] Dave is blue.[(triple2 OR ((triple7) -> rule2))] Dave is kind.[(triple3 OR ((triple5 triple4) -> rule5) OR ((((triple4 triple2) -> rule4) triple4) -> rule5) OR ((((triple4 ((triple7) -> rule2)) -> rule4) triple4) -> rule5))] Dave is nice.[(triple4)] Dave is quiet.[(triple5 OR ((triple3) -> rule3) OR ((triple4 triple2) -> rule4) OR ((triple4 ((triple7) -> rule2)) -> rule4))] Dave is rough.[(triple6)] Dave is white.[(triple7 OR ((triple2 triple4) -> rule6))]