Dave is green. Dave is nice. Dave is white. All white, nice people are big. If someone is green then they are red. If someone is nice then they are green. If Dave is big then Dave is red. If someone is green and big then they are white. All quiet people are round.
Dave is quiet.
@0: Dave is green.[(triple1 OR ((triple2) -> rule3))] Dave is nice.[(triple2)] Dave is white.[(triple3)] @1: Dave is big.[(((triple3 triple2) -> rule1))] Dave is red.[(((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2) OR ((((triple3 triple2) -> rule1)) -> rule4))]