Anne is red. Bob is big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is white. Bob is young. Gary is blue. Gary is white. All cold things are young. If something is white and young then it is nice. If Gary is white and Gary is young then Gary is cold.
Bob is blue.
@0: Anne is red.[(triple1)] Bob is big.[(triple2)] Bob is blue.[(triple3)] Bob is cold.[(triple4)] Bob is nice.[(triple5 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple4) -> rule1)) -> rule2))] Bob is red.[(triple6)] Bob is white.[(triple7)] Bob is young.[(triple8 OR ((triple4) -> rule1))] Gary is blue.[(triple9)] Gary is white.[(triple10)]