Bob is big. Bob is blue. Bob is furry. Bob is quiet. Bob is rough. Bob is smart. Bob is white. Fiona is big. Fiona is blue. Fiona is rough. Fiona is smart. Fiona is white. All furry, white people are smart. If Bob is rough then Bob is smart. Smart, big people are furry. If Fiona is white then Fiona is big. Furry, blue people are quiet. All quiet people are blue.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple4) -> rule6))] Bob is furry.[(triple3 OR ((triple6 triple1) -> rule3) OR ((((triple5) -> rule2) triple1) -> rule3))] Bob is quiet.[(triple4 OR ((triple3 triple2) -> rule5) OR ((((triple6 triple1) -> rule3) triple2) -> rule5) OR ((((((triple5) -> rule2) triple1) -> rule3) triple2) -> rule5))] Bob is rough.[(triple5)] Bob is smart.[(triple6 OR ((triple5) -> rule2) OR ((triple3 triple7) -> rule1))] Bob is white.[(triple7)] Fiona is big.[(triple8 OR ((triple12) -> rule4))] Fiona is blue.[(triple9)] Fiona is rough.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is furry.[(((triple11 triple8) -> rule3) OR ((triple11 ((triple12) -> rule4)) -> rule3))] @2: Fiona is quiet.[(((((triple11 triple8) -> rule3) triple9) -> rule5) OR ((((triple11 ((triple12) -> rule4)) -> rule3) triple9) -> rule5))]