Charlie is round. Erin is round. If something is round then it is furry. All round things are furry. All rough things are big. If something is furry then it is rough. All big things are round. Rough, big things are smart.
Erin is round.
@0: Charlie is round.[(triple1)] Erin is round.[(triple2)] @1: Charlie is furry.[(((triple1) -> rule1) OR ((triple1) -> rule2))] Erin is furry.[(((triple2) -> rule1) OR ((triple2) -> rule2))] @2: Charlie is rough.[(((((triple1) -> rule1)) -> rule4) OR ((((triple1) -> rule2)) -> rule4))] Erin is rough.[(((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule2)) -> rule4))] @3: Charlie is big.[(((((((triple1) -> rule1)) -> rule4)) -> rule3) OR ((((((triple1) -> rule2)) -> rule4)) -> rule3))] Erin is big.[(((((((triple2) -> rule1)) -> rule4)) -> rule3) OR ((((((triple2) -> rule2)) -> rule4)) -> rule3))] @4: Charlie is smart.[(((((((triple1) -> rule1)) -> rule4) ((((((triple1) -> rule1)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple1) -> rule1)) -> rule4) ((((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) ((((((triple1) -> rule1)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple1) -> rule2)) -> rule4) ((((((triple1) -> rule2)) -> rule4)) -> rule3)) -> rule6))] Erin is smart.[(((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule1)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple2) -> rule1)) -> rule4) ((((((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((((((triple2) -> rule1)) -> rule4)) -> rule3)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4) ((((((triple2) -> rule2)) -> rule4)) -> rule3)) -> rule6))]