Bob is nice. Bob is smart. Bob is white. Charlie is green. Charlie is kind. Charlie is nice. Charlie is smart. Charlie is white. Fiona is kind. Fiona is smart. Green, white things are red. All furry things are green. If something is smart then it is furry.
Fiona is not green.
@0: Bob is nice.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Charlie is green.[(triple4 OR ((((triple7) -> rule3)) -> rule2))] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is smart.[(triple7)] Charlie is white.[(triple8)] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] @1: Bob is furry.[(((triple2) -> rule3))] Charlie is furry.[(((triple7) -> rule3))] Charlie is red.[(((triple4 triple8) -> rule1) OR ((((((triple7) -> rule3)) -> rule2) triple8) -> rule1))] Fiona is furry.[(((triple10) -> rule3))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule2))] Fiona is green.[(((((triple10) -> rule3)) -> rule2))] @3: Bob is red.[(((((((triple2) -> rule3)) -> rule2) triple3) -> rule1))]