Anne is furry. Anne is nice. Anne is quiet. Anne is rough. Charlie is big. Charlie is furry. Charlie is quiet. Dave is big. Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Gary is big. Gary is kind. If something is red then it is nice. Furry, nice things are red. If Charlie is big and Charlie is nice then Charlie is kind. If Gary is rough and Gary is big then Gary is quiet. If something is kind and quiet then it is red. If something is furry then it is red.
Charlie is rough.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((((triple1) -> rule6)) -> rule1))] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Charlie is big.[(triple5)] Charlie is furry.[(triple6)] Charlie is quiet.[(triple7)] Dave is big.[(triple8)] Dave is furry.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11 OR ((triple13) -> rule1) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple10 triple12) -> rule5)) -> rule1))] Dave is quiet.[(triple12)] Dave is red.[(triple13 OR ((triple9) -> rule6) OR ((triple10 triple12) -> rule5) OR ((triple9 triple11) -> rule2))] Dave is rough.[(triple14)] Gary is big.[(triple15)] Gary is kind.[(triple16)] @1: Anne is red.[(((triple1) -> rule6) OR ((triple1 triple2) -> rule2))] Charlie is red.[(((triple6) -> rule6))] @2: Charlie is nice.[(((((triple6) -> rule6)) -> rule1))] @3: Charlie is kind.[(((triple5 ((((triple6) -> rule6)) -> rule1)) -> rule3))]