Bob is blue. Bob is red. Erin is red. Big, rough people are nice. If someone is nice and red then they are young. Big people are smart. Blue people are rough. All rough people are big. Big, rough people are nice. If Erin is nice and Erin is rough then Erin is smart. If Bob is young then Bob is blue.
Erin is not young.
@0: Bob is blue.[(triple1)] Bob is red.[(triple2)] Erin is red.[(triple3)] @1: Bob is rough.[(((triple1) -> rule4))] @2: Bob is big.[(((((triple1) -> rule4)) -> rule5))] @3: Bob is nice.[(((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule6))] Bob is smart.[(((((((triple1) -> rule4)) -> rule5)) -> rule3))] @4: Bob is young.[(((((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule1) triple2) -> rule2) OR ((((((((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule6) triple2) -> rule2))]