Anne is big. Anne is nice. Anne is red. Anne is rough. Anne is young. Dave is big. Dave is not kind. Dave is nice. Dave is red. Dave is rough. Harry is kind. Harry is not nice. Harry is red. Harry is rough. Harry is white. Harry is young. If something is nice and kind then it is big. If something is young then it is big. Young, kind things are big. If something is big and kind then it is white. All nice things are young. If Dave is not white then Dave is red. All red things are rough. Big things are rough.
Dave is white.
@0: Anne is big.[(triple1 OR ((triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule8) OR ((triple3) -> rule7) OR ((((triple5) -> rule2)) -> rule8) OR ((((((triple2) -> rule5)) -> rule2)) -> rule8))] Anne is young.[(triple5 OR ((triple2) -> rule5))] Dave is big.[(triple6 OR ((((triple8) -> rule5)) -> rule2))] Dave is nice.[(triple8)] Dave is not kind.[(triple7)] Dave is red.[(triple9)] Dave is rough.[(triple10 OR ((triple6) -> rule8) OR ((triple9) -> rule7) OR ((((((triple8) -> rule5)) -> rule2)) -> rule8))] Harry is kind.[(triple11)] Harry is not nice.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14 OR ((triple13) -> rule7) OR ((((triple16) -> rule2)) -> rule8) OR ((((triple16 triple11) -> rule3)) -> rule8))] Harry is white.[(triple15 OR ((((triple16) -> rule2) triple11) -> rule4) OR ((((triple16 triple11) -> rule3) triple11) -> rule4))] Harry is young.[(triple16)] @1: Dave is young.[(((triple8) -> rule5))] Harry is big.[(((triple16) -> rule2) OR ((triple16 triple11) -> rule3))]