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