Bob is kind. Bob is young. Erin is kind. Erin is round. Erin is smart. Erin is white. Erin is young. Gary is kind. Gary is young. Harry is round. All nice things are rough. Young things are nice. Rough, kind things are smart.
Erin is not rough.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Erin is kind.[(triple3)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((((((triple7) -> rule2)) -> rule1) triple3) -> rule3))] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is kind.[(triple8)] Gary is young.[(triple9)] Harry is round.[(triple10)] @1: Bob is nice.[(((triple2) -> rule2))] Erin is nice.[(((triple7) -> rule2))] Gary is nice.[(((triple9) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule2)) -> rule1))] Erin is rough.[(((((triple7) -> rule2)) -> rule1))] Gary is rough.[(((((triple9) -> rule2)) -> rule1))] @3: Bob is smart.[(((((((triple2) -> rule2)) -> rule1) triple1) -> rule3))] Gary is smart.[(((((((triple9) -> rule2)) -> rule1) triple8) -> rule3))]