Anne is big. Anne is cold. Anne is red. Anne is young. Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is young. Dave is cold. Dave is white. Gary is big. Gary is cold. Gary is red. Gary is smart. Gary is white. All smart things are blue. Big things are smart.
Bob is not red.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Anne is young.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6 OR ((((triple5) -> rule2)) -> rule1))] Bob is cold.[(triple7)] Bob is red.[(triple8)] Bob is young.[(triple9)] Dave is cold.[(triple10)] Dave is white.[(triple11)] Gary is big.[(triple12)] Gary is cold.[(triple13)] Gary is red.[(triple14)] Gary is smart.[(triple15 OR ((triple12) -> rule2))] Gary is white.[(triple16)] @1: Anne is smart.[(((triple1) -> rule2))] Bob is smart.[(((triple5) -> rule2))] Gary is blue.[(((triple15) -> rule1) OR ((((triple12) -> rule2)) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule2)) -> rule1))]