Anne is big. Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is white. Anne is young. Charlie is not white. Dave is big. Dave is furry. Dave is green. Dave is not young. Big things are green. Furry things are rough. Rough things are white. All rough, young things are furry. If Dave is young then Dave is big. If Anne is not green then Anne is white. Furry, white things are nice. If something is young and not white then it is not nice.
Dave is rough.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple5 triple7) -> rule4))] Anne is green.[(triple3 OR ((triple1) -> rule1))] Anne is nice.[(triple4 OR ((triple2 triple6) -> rule7) OR ((triple2 ((triple5) -> rule3)) -> rule7) OR ((((triple5 triple7) -> rule4) triple6) -> rule7) OR ((((triple5 triple7) -> rule4) ((triple5) -> rule3)) -> rule7) OR ((triple2 ((((triple2) -> rule2)) -> rule3)) -> rule7) OR ((((triple5 triple7) -> rule4) ((((triple2) -> rule2)) -> rule3)) -> rule7))] Anne is rough.[(triple5 OR ((triple2) -> rule2))] Anne is white.[(triple6 OR ((triple5) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] Anne is young.[(triple7)] Charlie is not white.[(triple8)] Dave is big.[(triple9)] Dave is furry.[(triple10)] Dave is green.[(triple11 OR ((triple9) -> rule1))] Dave is not young.[(triple12)] @1: Dave is rough.[(((triple10) -> rule2))] @2: Dave is white.[(((((triple10) -> rule2)) -> rule3))] @3: Dave is nice.[(((triple10 ((((triple10) -> rule2)) -> rule3)) -> rule7))]