Anne is big. Anne is blue. Anne is rough. Bob is cold. Bob is green. Bob is rough. Bob is white. Dave is blue. Dave is white. Harry is young. If Bob is big then Bob is white. Young people are white. Cold, young people are rough. If Anne is green and Anne is young then Anne is white. White, big people are blue. All blue people are green. If someone is young and white then they are big. Blue people are cold.
Harry is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is rough.[(triple3)] Bob is cold.[(triple4)] Bob is green.[(triple5)] Bob is rough.[(triple6)] Bob is white.[(triple7)] Dave is blue.[(triple8)] Dave is white.[(triple9)] Harry is young.[(triple10)] @1: Anne is cold.[(((triple2) -> rule8))] Anne is green.[(((triple2) -> rule6))] Dave is cold.[(((triple8) -> rule8))] Dave is green.[(((triple8) -> rule6))] Harry is white.[(((triple10) -> rule2))] @2: Harry is big.[(((triple10 ((triple10) -> rule2)) -> rule7))] @3: Harry is blue.[(((((triple10) -> rule2) ((triple10 ((triple10) -> rule2)) -> rule7)) -> rule5))] @4: Harry is cold.[(((((((triple10) -> rule2) ((triple10 ((triple10) -> rule2)) -> rule7)) -> rule5)) -> rule8))] Harry is green.[(((((((triple10) -> rule2) ((triple10 ((triple10) -> rule2)) -> rule7)) -> rule5)) -> rule6))] @5: Harry is rough.[(((((((((triple10) -> rule2) ((triple10 ((triple10) -> rule2)) -> rule7)) -> rule5)) -> rule8) triple10) -> rule3))]