Anne is big. Anne is green. Anne is round. Anne is white. Bob is big. Bob is furry. Bob is nice. Bob is white. Dave is furry. Dave is green. Dave is round. Dave is white. Erin is big. Erin is smart. Erin is white. All round things are big. Furry, white things are round. All green, nice things are round. White, round things are smart. All smart, round things are white. Smart things are green.
Bob is smart.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1))] Anne is green.[(triple2 OR ((((triple4 triple3) -> rule4)) -> rule6))] Anne is round.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5 OR ((((triple6 triple8) -> rule2)) -> rule1))] Bob is furry.[(triple6)] Bob is nice.[(triple7)] Bob is white.[(triple8)] Dave is furry.[(triple9)] Dave is green.[(triple10 OR ((((triple12 triple11) -> rule4)) -> rule6) OR ((((triple12 ((triple9 triple12) -> rule2)) -> rule4)) -> rule6))] Dave is round.[(triple11 OR ((triple9 triple12) -> rule2))] Dave is white.[(triple12)] Erin is big.[(triple13)] Erin is smart.[(triple14)] Erin is white.[(triple15)] @1: Anne is smart.[(((triple4 triple3) -> rule4))] Bob is round.[(((triple6 triple8) -> rule2))] Dave is big.[(((triple11) -> rule1) OR ((((triple9 triple12) -> rule2)) -> rule1))] Dave is smart.[(((triple12 triple11) -> rule4) OR ((triple12 ((triple9 triple12) -> rule2)) -> rule4))] Erin is green.[(((triple14) -> rule6))] @2: Bob is smart.[(((triple8 ((triple6 triple8) -> rule2)) -> rule4))] @3: Bob is green.[(((((triple8 ((triple6 triple8) -> rule2)) -> rule4)) -> rule6))]