Bob is big. Bob is furry. Bob is green. Bob is round. Charlie is furry. Erin is cold. Erin is furry. Erin is round. Erin is smart. Gary is furry. All smart things are green. If something is furry then it is round. Furry things are round. If something is round then it is smart. If something is cold and not furry then it is smart. Smart things are big.
Erin is not smart.
@0: Bob is big.[(triple1 OR ((((triple4) -> rule4)) -> rule6) OR ((((((triple2) -> rule2)) -> rule4)) -> rule6) OR ((((((triple2) -> rule3)) -> rule4)) -> rule6))] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((((triple4) -> rule4)) -> rule1) OR ((((((triple2) -> rule2)) -> rule4)) -> rule1) OR ((((((triple2) -> rule3)) -> rule4)) -> rule1))] Bob is round.[(triple4 OR ((triple2) -> rule2) OR ((triple2) -> rule3))] Charlie is furry.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is round.[(triple8 OR ((triple7) -> rule2) OR ((triple7) -> rule3))] Erin is smart.[(triple9 OR ((triple8) -> rule4) OR ((((triple7) -> rule2)) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] Gary is furry.[(triple10)] @1: Bob is smart.[(((triple4) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((((triple2) -> rule3)) -> rule4))] Charlie is round.[(((triple5) -> rule2) OR ((triple5) -> rule3))] Erin is big.[(((triple9) -> rule6) OR ((((triple8) -> rule4)) -> rule6) OR ((((((triple7) -> rule2)) -> rule4)) -> rule6) OR ((((((triple7) -> rule3)) -> rule4)) -> rule6))] Erin is green.[(((triple9) -> rule1) OR ((((triple8) -> rule4)) -> rule1) OR ((((((triple7) -> rule2)) -> rule4)) -> rule1) OR ((((((triple7) -> rule3)) -> rule4)) -> rule1))] Gary is round.[(((triple10) -> rule2) OR ((triple10) -> rule3))] @2: Charlie is smart.[(((((triple5) -> rule2)) -> rule4) OR ((((triple5) -> rule3)) -> rule4))] Gary is smart.[(((((triple10) -> rule2)) -> rule4) OR ((((triple10) -> rule3)) -> rule4))] @3: Charlie is big.[(((((((triple5) -> rule2)) -> rule4)) -> rule6) OR ((((((triple5) -> rule3)) -> rule4)) -> rule6))] Charlie is green.[(((((((triple5) -> rule2)) -> rule4)) -> rule1) OR ((((((triple5) -> rule3)) -> rule4)) -> rule1))] Gary is big.[(((((((triple10) -> rule2)) -> rule4)) -> rule6) OR ((((((triple10) -> rule3)) -> rule4)) -> rule6))] Gary is green.[(((((((triple10) -> rule2)) -> rule4)) -> rule1) OR ((((((triple10) -> rule3)) -> rule4)) -> rule1))]