Bob is furry. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. Fiona is blue. Fiona is furry. Fiona is red. Fiona is smart. Round people are rough. All furry, white people are round. All red people are white.
Fiona is round.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3 OR ((triple4) -> rule1) OR ((((triple1 triple6) -> rule2)) -> rule1) OR ((((triple1 ((triple2) -> rule3)) -> rule2)) -> rule1))] Bob is round.[(triple4 OR ((triple1 triple6) -> rule2) OR ((triple1 ((triple2) -> rule3)) -> rule2))] Bob is smart.[(triple5)] Bob is white.[(triple6 OR ((triple2) -> rule3))] Fiona is blue.[(triple7)] Fiona is furry.[(triple8)] Fiona is red.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is white.[(((triple9) -> rule3))] @2: Fiona is round.[(((triple8 ((triple9) -> rule3)) -> rule2))] @3: Fiona is rough.[(((((triple8 ((triple9) -> rule3)) -> rule2)) -> rule1))]