Anne is big. Anne is green. Anne is nice. Anne is rough. Anne is round. Anne is white. Bob is big. Bob is round. Bob is white. Dave is rough. Dave is white. Harry is big. Harry is nice. Harry is rough. Harry is white. If Bob is big and Bob is round then Bob is cold. If Bob is big and Bob is cold then Bob is green. Green, white people are rough.
Harry is not cold.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is rough.[(triple4 OR ((triple2 triple6) -> rule3))] Anne is round.[(triple5)] Anne is white.[(triple6)] Bob is big.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9)] Dave is rough.[(triple10)] Dave is white.[(triple11)] Harry is big.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Bob is cold.[(((triple7 triple8) -> rule1))] @2: Bob is green.[(((triple7 ((triple7 triple8) -> rule1)) -> rule2))] @3: Bob is rough.[(((((triple7 ((triple7 triple8) -> rule1)) -> rule2) triple9) -> rule3))]