Anne is smart. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Dave is white. Erin is not quiet. Fiona is not big. Fiona is nice. Fiona is quiet. Fiona is not smart. Fiona is white. Big things are not smart. If Dave is quiet then Dave is smart. If something is big then it is quiet. If something is white and not quiet then it is not green. If something is white then it is green. All big, green things are not nice. Blue, white things are nice. If something is big and not quiet then it is blue.
Anne is big.
@0: Anne is smart.[(triple1)] Dave is green.[(triple2 OR ((triple6) -> rule5))] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5 OR ((triple4) -> rule2))] Dave is white.[(triple6)] Erin is not quiet.[(triple7)] Fiona is nice.[(triple9)] Fiona is not big.[(triple8)] Fiona is not smart.[(triple11)] Fiona is quiet.[(triple10)] Fiona is white.[(triple12)] @1: Fiona is green.[(((triple12) -> rule5))]