Anne is round. Bob is red. Bob is smart. Erin is furry. Erin is red. Erin is rough. Erin is smart. Fiona is big. Fiona is furry. Fiona is smart. All smart things are furry. All furry things are red. All round things are rough. If Bob is white then Bob is furry. All red, rough things are big. All rough things are smart. If Fiona is furry then Fiona is red. If Bob is round and Bob is big then Bob is furry. If Fiona is red and Fiona is white then Fiona is smart.
Bob is not white.
@0: Anne is round.[(triple1)] Bob is red.[(triple2 OR ((((triple3) -> rule1)) -> rule2))] Bob is smart.[(triple3)] Erin is furry.[(triple4 OR ((triple7) -> rule1) OR ((((triple6) -> rule6)) -> rule1))] Erin is red.[(triple5 OR ((triple4) -> rule2) OR ((((triple7) -> rule1)) -> rule2) OR ((((((triple6) -> rule6)) -> rule1)) -> rule2))] Erin is rough.[(triple6)] Erin is smart.[(triple7 OR ((triple6) -> rule6))] Fiona is big.[(triple8)] Fiona is furry.[(triple9 OR ((triple10) -> rule1))] Fiona is smart.[(triple10)] @1: Anne is rough.[(((triple1) -> rule3))] Bob is furry.[(((triple3) -> rule1))] Erin is big.[(((triple5 triple6) -> rule5) OR ((((triple4) -> rule2) triple6) -> rule5) OR ((((((triple7) -> rule1)) -> rule2) triple6) -> rule5) OR ((((((((triple6) -> rule6)) -> rule1)) -> rule2) triple6) -> rule5))] Fiona is red.[(((triple9) -> rule2) OR ((triple9) -> rule7) OR ((((triple10) -> rule1)) -> rule2) OR ((((triple10) -> rule1)) -> rule7))] @2: Anne is smart.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is furry.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))] @4: Anne is red.[(((((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule2))] @5: Anne is big.[(((((((((((triple1) -> rule3)) -> rule6)) -> rule1)) -> rule2) ((triple1) -> rule3)) -> rule5))]