Bob is big. Bob is rough. Bob is round. Bob is smart. Bob is white. Erin is big. Erin is rough. Erin is round. Fiona is big. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is white. If Erin is round and Erin is nice then Erin is big. All white, nice people are round. If someone is rough and big then they are furry. Rough, furry people are smart. If someone is white then they are rough. White, round people are smart.
Fiona is not furry.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2 OR ((triple5) -> rule5))] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple5 triple3) -> rule6) OR ((triple2 ((triple2 triple1) -> rule3)) -> rule4) OR ((((triple5) -> rule5) ((triple2 triple1) -> rule3)) -> rule4) OR ((triple2 ((((triple5) -> rule5) triple1) -> rule3)) -> rule4) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple1) -> rule3)) -> rule4))] Bob is white.[(triple5)] Erin is big.[(triple6)] Erin is rough.[(triple7)] Erin is round.[(triple8)] Fiona is big.[(triple9)] Fiona is furry.[(triple10 OR ((triple12 triple9) -> rule3) OR ((((triple15) -> rule5) triple9) -> rule3))] Fiona is nice.[(triple11)] Fiona is rough.[(triple12 OR ((triple15) -> rule5))] Fiona is round.[(triple13 OR ((triple15 triple11) -> rule2))] Fiona is smart.[(triple14 OR ((triple12 triple10) -> rule4) OR ((triple15 triple13) -> rule6) OR ((triple12 ((triple12 triple9) -> rule3)) -> rule4) OR ((triple15 ((triple15 triple11) -> rule2)) -> rule6) OR ((((triple15) -> rule5) triple10) -> rule4) OR ((((triple15) -> rule5) ((triple12 triple9) -> rule3)) -> rule4) OR ((triple12 ((((triple15) -> rule5) triple9) -> rule3)) -> rule4) OR ((((triple15) -> rule5) ((((triple15) -> rule5) triple9) -> rule3)) -> rule4))] Fiona is white.[(triple15)] @1: Bob is furry.[(((triple2 triple1) -> rule3) OR ((((triple5) -> rule5) triple1) -> rule3))] Erin is furry.[(((triple7 triple6) -> rule3))] @2: Erin is smart.[(((triple7 ((triple7 triple6) -> rule3)) -> rule4))]