Anne is blue. Anne is nice. Bob is cold. Bob is kind. Bob is red. Erin is nice. Gary is big. Gary is not blue. Gary is kind. Gary is not nice. Gary is quiet. Gary is red. If Bob is kind and Bob is cold then Bob is big. If someone is big then they are quiet. Blue, quiet people are big.
Gary is not blue.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Bob is cold.[(triple3)] Bob is kind.[(triple4)] Bob is red.[(triple5)] Erin is nice.[(triple6)] Gary is big.[(triple7)] Gary is kind.[(triple9)] Gary is not blue.[(triple8)] Gary is not nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple7) -> rule2))] Gary is red.[(triple12)] @1: Bob is big.[(((triple4 triple3) -> rule1))] @2: Bob is quiet.[(((((triple4 triple3) -> rule1)) -> rule2))]