Anne is big. Anne is blue. Anne is rough. Anne is white. Bob is big. Bob is blue. Bob is kind. Bob is rough. Bob is white. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is rough. Dave is white. White, rough people are blue. If someone is white then they are cold.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4 triple3) -> rule1))] Anne is rough.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6 OR ((triple9 triple8) -> rule1))] Bob is kind.[(triple7)] Bob is rough.[(triple8)] Bob is white.[(triple9)] Dave is big.[(triple10)] Dave is blue.[(triple11 OR ((triple16 triple15) -> rule1))] Dave is cold.[(triple12 OR ((triple16) -> rule2))] Dave is green.[(triple13)] Dave is kind.[(triple14)] Dave is rough.[(triple15)] Dave is white.[(triple16)] @1: Anne is cold.[(((triple4) -> rule2))] Bob is cold.[(((triple9) -> rule2))]