Charlie is nice. Charlie is smart. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is smart. Dave is young. Fiona is nice. Fiona is smart. Big, young things are nice. If something is quiet and nice then it is smart. All big things are young. If something is quiet then it is green. Young things are quiet. If Fiona is green then Fiona is red.
Fiona is not red.
@0: Charlie is nice.[(triple1)] Charlie is smart.[(triple2)] Dave is big.[(triple3)] Dave is green.[(triple4 OR ((((triple8) -> rule5)) -> rule4) OR ((((((triple3) -> rule3)) -> rule5)) -> rule4))] Dave is nice.[(triple5 OR ((triple3 triple8) -> rule1) OR ((triple3 ((triple3) -> rule3)) -> rule1))] Dave is red.[(triple6)] Dave is smart.[(triple7 OR ((((triple8) -> rule5) triple5) -> rule2) OR ((((triple8) -> rule5) ((triple3 triple8) -> rule1)) -> rule2) OR ((((((triple3) -> rule3)) -> rule5) triple5) -> rule2) OR ((((triple8) -> rule5) ((triple3 ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((((((triple3) -> rule3)) -> rule5) ((triple3 triple8) -> rule1)) -> rule2) OR ((((((triple3) -> rule3)) -> rule5) ((triple3 ((triple3) -> rule3)) -> rule1)) -> rule2))] Dave is young.[(triple8 OR ((triple3) -> rule3))] Fiona is nice.[(triple9)] Fiona is smart.[(triple10)] @1: Dave is quiet.[(((triple8) -> rule5) OR ((((triple3) -> rule3)) -> rule5))]