Bob is blue. Bob is green. Bob is quiet. Bob is young. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. All nice things are white. Nice, white things are red. All blue things are nice.
Fiona is not blue.
@0: Bob is blue.[(triple1)] Bob is green.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Fiona is blue.[(triple5)] Fiona is nice.[(triple6 OR ((triple5) -> rule3))] Fiona is quiet.[(triple7)] Fiona is red.[(triple8 OR ((triple6 triple9) -> rule2) OR ((triple6 ((triple6) -> rule1)) -> rule2) OR ((((triple5) -> rule3) triple9) -> rule2) OR ((((triple5) -> rule3) ((triple6) -> rule1)) -> rule2) OR ((triple6 ((((triple5) -> rule3)) -> rule1)) -> rule2) OR ((((triple5) -> rule3) ((((triple5) -> rule3)) -> rule1)) -> rule2))] Fiona is white.[(triple9 OR ((triple6) -> rule1) OR ((((triple5) -> rule3)) -> rule1))] Fiona is young.[(triple10)] @1: Bob is nice.[(((triple1) -> rule3))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule1))] @3: Bob is red.[(((((triple1) -> rule3) ((((triple1) -> rule3)) -> rule1)) -> rule2))]