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