Bob is blue. Bob is furry. Bob is smart. Fiona is furry. Fiona is red. Fiona is rough. Fiona is white. Furry people are red. If someone is red then they are rough. If Bob is white and Bob is smart then Bob is rough. All furry, blue people are rough. All white people are red. If someone is red and blue then they are round. If Bob is blue and Bob is round then Bob is white. If Bob is blue and Bob is furry then Bob is rough.
Bob is round.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is smart.[(triple3)] Fiona is furry.[(triple4)] Fiona is red.[(triple5 OR ((triple4) -> rule1) OR ((triple7) -> rule5))] Fiona is rough.[(triple6 OR ((triple5) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Fiona is white.[(triple7)] @1: Bob is red.[(((triple2) -> rule1))] Bob is rough.[(((triple1 triple2) -> rule8) OR ((triple2 triple1) -> rule4) OR ((((triple2) -> rule1)) -> rule2) OR ((((triple1 ((((triple2) -> rule1) triple1) -> rule6)) -> rule7) triple3) -> rule3))] @2: Bob is round.[(((((triple2) -> rule1) triple1) -> rule6))] @3: Bob is white.[(((triple1 ((((triple2) -> rule1) triple1) -> rule6)) -> rule7))]