Bob is quiet. Bob is young. Charlie is young. Dave is kind. Erin is kind. Erin is quiet. Erin is rough. If Erin is kind and Erin is nice then Erin is quiet. If someone is rough then they are nice. Young people are blue. If someone is young then they are blue. If Dave is quiet and Dave is kind then Dave is rough. If someone is nice and quiet then they are young.
Erin is rough.
@0: Bob is quiet.[(triple1)] Bob is young.[(triple2)] Charlie is young.[(triple3)] Dave is kind.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6 OR ((triple5 ((triple7) -> rule2)) -> rule1))] Erin is rough.[(triple7)] @1: Bob is blue.[(((triple2) -> rule3) OR ((triple2) -> rule4))] Charlie is blue.[(((triple3) -> rule3) OR ((triple3) -> rule4))] Erin is nice.[(((triple7) -> rule2))] @2: Erin is young.[(((((triple7) -> rule2) triple6) -> rule6) OR ((((triple7) -> rule2) ((triple5 ((triple7) -> rule2)) -> rule1)) -> rule6))] @3: Erin is blue.[(((((((triple7) -> rule2) triple6) -> rule6)) -> rule3) OR ((((((triple7) -> rule2) triple6) -> rule6)) -> rule4) OR ((((((triple7) -> rule2) ((triple5 ((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule3) OR ((((((triple7) -> rule2) ((triple5 ((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule4))]