Bob is blue. Bob is green. Bob is quiet. Bob is red. Bob is rough. Bob is white. Bob is young. If someone is green and white then they are red. Rough people are green. If Bob is not young then Bob is green. If Bob is blue then Bob is green. Young people are quiet. All blue, rough people are white.
Bob is quiet.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple1) -> rule4) OR ((triple5) -> rule2))] Bob is quiet.[(triple3 OR ((triple7) -> rule5))] Bob is red.[(triple4 OR ((triple2 triple6) -> rule1) OR ((triple2 ((triple1 triple5) -> rule6)) -> rule1) OR ((((triple1) -> rule4) triple6) -> rule1) OR ((((triple5) -> rule2) triple6) -> rule1) OR ((((triple1) -> rule4) ((triple1 triple5) -> rule6)) -> rule1) OR ((((triple5) -> rule2) ((triple1 triple5) -> rule6)) -> rule1))] Bob is rough.[(triple5)] Bob is white.[(triple6 OR ((triple1 triple5) -> rule6))] Bob is young.[(triple7)]