Anne is blue. Anne is cold. Anne is green. Anne is rough. Anne is smart. Anne is young. Bob is blue. Bob is cold. Bob is furry. Bob is smart. Charlie is cold. Fiona is cold. Fiona is green. Fiona is rough. Fiona is smart. All smart things are furry. All cold, young things are smart. All furry things are blue.
Bob is furry.
@0: Anne is blue.[(triple1 OR ((((triple5) -> rule1)) -> rule3) OR ((((((triple2 triple6) -> rule2)) -> rule1)) -> rule3))] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5 OR ((triple2 triple6) -> rule2))] Anne is young.[(triple6)] Bob is blue.[(triple7 OR ((triple9) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Bob is cold.[(triple8)] Bob is furry.[(triple9 OR ((triple10) -> rule1))] Bob is smart.[(triple10)] Charlie is cold.[(triple11)] Fiona is cold.[(triple12)] Fiona is green.[(triple13)] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)] @1: Anne is furry.[(((triple5) -> rule1) OR ((((triple2 triple6) -> rule2)) -> rule1))] Fiona is furry.[(((triple15) -> rule1))] @2: Fiona is blue.[(((((triple15) -> rule1)) -> rule3))]