Anne is nice. Anne is quiet. Bob is blue. Bob is green. Bob is nice. Bob is quiet. Erin is nice. Erin is quiet. Erin is smart. Fiona is nice. Blue things are young. All nice things are blue.
Anne is not smart.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Bob is blue.[(triple3 OR ((triple5) -> rule2))] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is quiet.[(triple6)] Erin is nice.[(triple7)] Erin is quiet.[(triple8)] Erin is smart.[(triple9)] Fiona is nice.[(triple10)] @1: Anne is blue.[(((triple1) -> rule2))] Bob is young.[(((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1))] Erin is blue.[(((triple7) -> rule2))] Fiona is blue.[(((triple10) -> rule2))] @2: Anne is young.[(((((triple1) -> rule2)) -> rule1))] Erin is young.[(((((triple7) -> rule2)) -> rule1))] Fiona is young.[(((((triple10) -> rule2)) -> rule1))]