Bob is blue. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Bob is young. If Bob is nice then Bob is rough. Rough, young things are red. All green things are red. Rough things are nice. If something is rough and red then it is quiet. All young, rough things are green.
Bob is young.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple3) -> rule1)) -> rule6))] Bob is nice.[(triple3 OR ((triple6) -> rule4))] Bob is quiet.[(triple4 OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple2) -> rule3)) -> rule5) OR ((triple6 ((triple6 triple7) -> rule2)) -> rule5) OR ((((triple3) -> rule1) triple5) -> rule5) OR ((((triple3) -> rule1) ((triple2) -> rule3)) -> rule5) OR ((((triple3) -> rule1) ((triple6 triple7) -> rule2)) -> rule5) OR ((triple6 ((((triple7 triple6) -> rule6)) -> rule3)) -> rule5) OR ((triple6 ((((triple3) -> rule1) triple7) -> rule2)) -> rule5) OR ((((triple3) -> rule1) ((((triple7 triple6) -> rule6)) -> rule3)) -> rule5) OR ((((triple3) -> rule1) ((((triple3) -> rule1) triple7) -> rule2)) -> rule5) OR ((triple6 ((((triple7 ((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule5) OR ((((triple3) -> rule1) ((((triple7 ((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule5))] Bob is red.[(triple5 OR ((triple2) -> rule3) OR ((triple6 triple7) -> rule2) OR ((((triple7 triple6) -> rule6)) -> rule3) OR ((((triple3) -> rule1) triple7) -> rule2) OR ((((triple7 ((triple3) -> rule1)) -> rule6)) -> rule3))] Bob is rough.[(triple6 OR ((triple3) -> rule1))] Bob is young.[(triple7)]