Anne is kind. Anne is nice. Anne is quiet. Bob is big. Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is rough. Charlie is not green. Charlie is quiet. Charlie is rough. Dave is green. Dave is quiet. Dave is red. All nice things are not green. If Dave is quiet then Dave is not nice. If something is nice and red then it is rough. If Anne is quiet then Anne is not red. If something is green then it is quiet. Rough, red things are big. All nice things are big. If Charlie is kind and Charlie is not quiet then Charlie is rough.
Charlie is not big.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Bob is big.[(triple4 OR ((triple6) -> rule7) OR ((triple9 triple8) -> rule6) OR ((((triple6 triple8) -> rule3) triple8) -> rule6))] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is quiet.[(triple7)] Bob is red.[(triple8)] Bob is rough.[(triple9 OR ((triple6 triple8) -> rule3))] Charlie is not green.[(triple10)] Charlie is quiet.[(triple11)] Charlie is rough.[(triple12)] Dave is green.[(triple13)] Dave is quiet.[(triple14 OR ((triple13) -> rule5))] Dave is red.[(triple15)] @1: Anne is big.[(((triple2) -> rule7))] Anne is not green.[(((triple2) -> rule1))] Anne is not red.[(((triple3) -> rule4))] Bob is not green.[(((triple6) -> rule1))] Dave is not nice.[(((triple14) -> rule2) OR ((((triple13) -> rule5)) -> rule2))]