Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is quiet. Anne is white. Bob is blue. Bob is cold. Bob is nice. Bob is white. Gary is big. Gary is blue. Gary is cold. Gary is quiet. Gary is white. White, blue things are kind. If Bob is big then Bob is white. Kind things are big. If something is big and white then it is kind. If something is white and quiet then it is kind. If something is cold then it is nice.
Bob is big.
@0: Anne is big.[(triple1 OR ((triple3) -> rule3) OR ((((triple6 triple5) -> rule5)) -> rule3))] Anne is cold.[(triple2)] Anne is kind.[(triple3 OR ((triple1 triple6) -> rule4) OR ((triple6 triple5) -> rule5))] Anne is nice.[(triple4 OR ((triple2) -> rule6))] Anne is quiet.[(triple5)] Anne is white.[(triple6)] Bob is blue.[(triple7)] Bob is cold.[(triple8)] Bob is nice.[(triple9 OR ((triple8) -> rule6))] Bob is white.[(triple10)] Gary is big.[(triple11 OR ((((triple15 triple12) -> rule1)) -> rule3) OR ((((triple15 triple14) -> rule5)) -> rule3))] Gary is blue.[(triple12)] Gary is cold.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] @1: Bob is kind.[(((triple10 triple7) -> rule1))] Gary is kind.[(((triple11 triple15) -> rule4) OR ((triple15 triple12) -> rule1) OR ((triple15 triple14) -> rule5))] Gary is nice.[(((triple13) -> rule6))] @2: Bob is big.[(((((triple10 triple7) -> rule1)) -> rule3))]