Anne is big. Anne is nice. Anne is white. Dave is big. Dave is green. Dave is nice. Dave is red. Dave is round. Dave is white. Erin is big. Erin is nice. Erin is round. Erin is white. Gary is big. Gary is nice. Gary is white. If Gary is big and Gary is round then Gary is red. All nice things are green. All red things are green. Smart, white things are big. Green things are big. All red, nice things are smart.
Gary is not red.
@0: Anne is big.[(triple1 OR ((((triple2) -> rule2)) -> rule5))] Anne is nice.[(triple2)] Anne is white.[(triple3)] Dave is big.[(triple4 OR ((triple5) -> rule5) OR ((((triple6) -> rule2)) -> rule5) OR ((((triple7) -> rule3)) -> rule5) OR ((((triple7 triple6) -> rule6) triple9) -> rule4))] Dave is green.[(triple5 OR ((triple6) -> rule2) OR ((triple7) -> rule3))] Dave is nice.[(triple6)] Dave is red.[(triple7)] Dave is round.[(triple8)] Dave is white.[(triple9)] Erin is big.[(triple10 OR ((((triple11) -> rule2)) -> rule5))] Erin is nice.[(triple11)] Erin is round.[(triple12)] Erin is white.[(triple13)] Gary is big.[(triple14 OR ((((triple15) -> rule2)) -> rule5))] Gary is nice.[(triple15)] Gary is white.[(triple16)] @1: Anne is green.[(((triple2) -> rule2))] Dave is smart.[(((triple7 triple6) -> rule6))] Erin is green.[(((triple11) -> rule2))] Gary is green.[(((triple15) -> rule2))]