Bob is not blue. Bob is kind. Bob is red. Charlie is quiet. Dave is not nice. Dave is red. Erin is quiet. Young things are nice. If something is quiet then it is young. Quiet, nice things are not blue. If something is quiet and rough then it is kind. If something is nice and blue then it is rough. If something is young and not blue then it is rough.
Dave is young.
@0: Bob is kind.[(triple2)] Bob is not blue.[(triple1)] Bob is red.[(triple3)] Charlie is quiet.[(triple4)] Dave is not nice.[(triple5)] Dave is red.[(triple6)] Erin is quiet.[(triple7)] @1: Charlie is young.[(((triple4) -> rule2))] Erin is young.[(((triple7) -> rule2))] @2: Charlie is nice.[(((((triple4) -> rule2)) -> rule1))] Erin is nice.[(((((triple7) -> rule2)) -> rule1))] @3: Charlie is not blue.[(((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule3))] Erin is not blue.[(((triple7 ((((triple7) -> rule2)) -> rule1)) -> rule3))] @4: Charlie is rough.[(((((triple4) -> rule2) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule3)) -> rule6))] Erin is rough.[(((((triple7) -> rule2) ((triple7 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule6))] @5: Charlie is kind.[(((triple4 ((((triple4) -> rule2) ((triple4 ((((triple4) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule4))] Erin is kind.[(((triple7 ((((triple7) -> rule2) ((triple7 ((((triple7) -> rule2)) -> rule1)) -> rule3)) -> rule6)) -> rule4))]