Anne is big. Anne is cold. Anne is red. Bob is not big. Bob is blue. Bob is cold. Bob is nice. Bob is red. Dave is blue. Dave is cold. Dave is nice. Harry is not round. If something is big and not red then it is blue. If something is round then it is young. If Harry is nice and Harry is big then Harry is blue. Nice, blue things are round. All big things are round. Big, young things are not nice. If Bob is not blue then Bob is nice. If Dave is not blue then Dave is round.
Dave is not young.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Bob is nice.[(triple7)] Bob is not big.[(triple4)] Bob is red.[(triple8)] Dave is blue.[(triple9)] Dave is cold.[(triple10)] Dave is nice.[(triple11)] Harry is not round.[(triple12)] @1: Anne is round.[(((triple1) -> rule5))] Bob is round.[(((triple7 triple5) -> rule4))] Dave is round.[(((triple11 triple9) -> rule4))] @2: Anne is young.[(((((triple1) -> rule5)) -> rule2))] Bob is young.[(((((triple7 triple5) -> rule4)) -> rule2))] Dave is young.[(((((triple11 triple9) -> rule4)) -> rule2))] @3: Anne is not nice.[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule6))]