Anne is big. Anne is green. Anne is nice. Anne is red. Anne is young. Bob is green. Bob is nice. Bob is red. Bob is round. Bob is white. Bob is young. Dave is nice. Dave is white. Dave is young. Harry is nice. Harry is white. All round, nice things are green. White things are big. Nice things are red. If Dave is green and Dave is nice then Dave is young. All green things are nice. All nice, green things are white. Green things are nice. If Harry is big then Harry is white.
Harry is not green.
@0: Anne is big.[(triple1 OR ((((triple3 triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule5) triple2) -> rule6)) -> rule2) OR ((((((triple2) -> rule7) triple2) -> rule6)) -> rule2))] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule5) OR ((triple2) -> rule7))] Anne is red.[(triple4 OR ((triple3) -> rule3) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule7)) -> rule3))] Anne is young.[(triple5)] Bob is green.[(triple6 OR ((triple9 triple7) -> rule1))] Bob is nice.[(triple7 OR ((triple6) -> rule5) OR ((triple6) -> rule7))] Bob is red.[(triple8 OR ((triple7) -> rule3) OR ((((triple6) -> rule5)) -> rule3) OR ((((triple6) -> rule7)) -> rule3))] Bob is round.[(triple9)] Bob is white.[(triple10 OR ((triple7 triple6) -> rule6) OR ((triple7 ((triple9 triple7) -> rule1)) -> rule6) OR ((((triple6) -> rule5) triple6) -> rule6) OR ((((triple6) -> rule7) triple6) -> rule6) OR ((((triple6) -> rule5) ((triple9 triple7) -> rule1)) -> rule6) OR ((((triple6) -> rule7) ((triple9 triple7) -> rule1)) -> rule6))] Bob is young.[(triple11)] Dave is nice.[(triple12)] Dave is white.[(triple13)] Dave is young.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16)] @1: Anne is white.[(((triple3 triple2) -> rule6) OR ((((triple2) -> rule5) triple2) -> rule6) OR ((((triple2) -> rule7) triple2) -> rule6))] Bob is big.[(((triple10) -> rule2) OR ((((triple7 triple6) -> rule6)) -> rule2) OR ((((triple7 ((triple9 triple7) -> rule1)) -> rule6)) -> rule2) OR ((((((triple6) -> rule5) triple6) -> rule6)) -> rule2) OR ((((((triple6) -> rule7) triple6) -> rule6)) -> rule2) OR ((((((triple6) -> rule5) ((triple9 triple7) -> rule1)) -> rule6)) -> rule2) OR ((((((triple6) -> rule7) ((triple9 triple7) -> rule1)) -> rule6)) -> rule2))] Dave is big.[(((triple13) -> rule2))] Dave is red.[(((triple12) -> rule3))] Harry is big.[(((triple16) -> rule2))] Harry is red.[(((triple15) -> rule3))]