Bob is big. Bob is not round. Dave is white. Erin is blue. Erin is round. Fiona is big. Fiona is not furry. All white, round people are smart. If Bob is round then Bob is not furry. Blue people are rough. If Bob is furry then Bob is not rough. If someone is smart then they are round. Furry, rough people are not round. Blue, rough people are big. Rough people are white.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is not round.[(triple2)] Dave is white.[(triple3)] Erin is blue.[(triple4)] Erin is round.[(triple5)] Fiona is big.[(triple6)] Fiona is not furry.[(triple7)] @1: Erin is rough.[(((triple4) -> rule3))] @2: Erin is big.[(((triple4 ((triple4) -> rule3)) -> rule7))] Erin is white.[(((((triple4) -> rule3)) -> rule8))] @3: Erin is smart.[(((((((triple4) -> rule3)) -> rule8) triple5) -> rule1))]