Bob is big. Bob is cold. Bob is kind. Bob is nice. Bob is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is white. Gary is young. If something is big then it is nice. All blue, kind things are big. If Bob is white then Bob is cold. If Gary is nice and Gary is blue then Gary is young. Kind things are nice. If Bob is big then Bob is blue.
Gary is not nice.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4 OR ((triple1) -> rule1) OR ((triple3) -> rule5))] Bob is young.[(triple5)] Gary is big.[(triple6 OR ((triple7 triple9) -> rule2))] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10 OR ((triple6) -> rule1) OR ((triple9) -> rule5) OR ((((triple7 triple9) -> rule2)) -> rule1))] Gary is white.[(triple11)] Gary is young.[(triple12 OR ((triple10 triple7) -> rule4) OR ((((triple6) -> rule1) triple7) -> rule4) OR ((((triple9) -> rule5) triple7) -> rule4) OR ((((((triple7 triple9) -> rule2)) -> rule1) triple7) -> rule4))] @1: Bob is blue.[(((triple1) -> rule6))]