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