Bob is blue. Bob is young. Dave is blue. Dave is green. Dave is kind. Dave is not nice. Erin is kind. Erin is nice. Erin is rough. Erin is young. Blue things are young. If something is rough and kind then it is green. If something is blue and not kind then it is green. If Erin is kind and Erin is nice then Erin is quiet. If something is young then it is quiet. All rough things are nice.
Dave is not young.
@0: Bob is blue.[(triple1)] Bob is young.[(triple2 OR ((triple1) -> rule1))] Dave is blue.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Dave is not nice.[(triple6)] Erin is kind.[(triple7)] Erin is nice.[(triple8 OR ((triple9) -> rule6))] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule5) OR ((((triple1) -> rule1)) -> rule5))] Dave is young.[(((triple3) -> rule1))] Erin is green.[(((triple9 triple7) -> rule2))] Erin is quiet.[(((triple10) -> rule5) OR ((triple7 triple8) -> rule4) OR ((triple7 ((triple9) -> rule6)) -> rule4))] @2: Dave is quiet.[(((((triple3) -> rule1)) -> rule5))]