Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is red. Erin is big. Erin is nice. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. Gary is red. If something is nice and not red then it is not big. If something is nice and not red then it is furry. All blue, big things are quiet.
Erin is red.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is furry.[(triple4)] Anne is nice.[(triple5)] Anne is quiet.[(triple6 OR ((triple2 triple1) -> rule3))] Anne is red.[(triple7)] Erin is big.[(triple8)] Erin is nice.[(triple9)] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is furry.[(triple12)] Gary is nice.[(triple13)] Gary is quiet.[(triple14 OR ((triple11 triple10) -> rule3))] Gary is red.[(triple15)]