Bob is not big. Bob is blue. Bob is quiet. Bob is red. Bob is smart. Dave is big. Dave is cold. Dave is quiet. Dave is red. Gary is big. Gary is blue. Gary is not cold. Gary is quiet. Gary is not smart. Gary is not young. If Bob is smart then Bob is young. Blue, young people are not cold. Big people are red.
Bob is not cold.
@0: Bob is blue.[(triple2)] Bob is not big.[(triple1)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is smart.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is quiet.[(triple8)] Dave is red.[(triple9 OR ((triple6) -> rule3))] Gary is big.[(triple10)] Gary is blue.[(triple11)] Gary is not cold.[(triple12)] Gary is not smart.[(triple14)] Gary is not young.[(triple15)] Gary is quiet.[(triple13)] @1: Bob is young.[(((triple5) -> rule1))] Gary is red.[(((triple10) -> rule3))] @2: Bob is not cold.[(((triple2 ((triple5) -> rule1)) -> rule2))]