Anne is quiet. Anne is red. Anne is white. Bob is blue. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Bob is young. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. Fiona is young. If someone is nice then they are blue. All smart people are nice. All red people are smart.
Anne is nice.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is white.[(triple3)] Bob is blue.[(triple4 OR ((triple5) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Bob is nice.[(triple5 OR ((triple7) -> rule2))] Bob is quiet.[(triple6)] Bob is smart.[(triple7)] Bob is white.[(triple8)] Bob is young.[(triple9)] Fiona is blue.[(triple10 OR ((triple11) -> rule1) OR ((((triple14) -> rule2)) -> rule1) OR ((((((triple13) -> rule3)) -> rule2)) -> rule1))] Fiona is nice.[(triple11 OR ((triple14) -> rule2) OR ((((triple13) -> rule3)) -> rule2))] Fiona is quiet.[(triple12)] Fiona is red.[(triple13)] Fiona is smart.[(triple14 OR ((triple13) -> rule3))] Fiona is white.[(triple15)] Fiona is young.[(triple16)] @1: Anne is smart.[(((triple2) -> rule3))] @2: Anne is nice.[(((((triple2) -> rule3)) -> rule2))] @3: Anne is blue.[(((((((triple2) -> rule3)) -> rule2)) -> rule1))]