Anne is furry. Anne is green. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Anne is young. Gary is furry. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Gary is young. Quiet, furry things are rough. Quiet things are green. Rough things are white. Furry, quiet things are rough. All green, furry things are young. If something is white and young then it is furry. If something is rough then it is young. All white things are green.
Gary is green.
@0: Anne is furry.[(triple1 OR ((triple6 triple7) -> rule6) OR ((triple6 ((triple4) -> rule7)) -> rule6) OR ((((triple4) -> rule3) triple7) -> rule6) OR ((((triple4) -> rule3) ((triple4) -> rule7)) -> rule6))] Anne is green.[(triple2 OR ((triple3) -> rule2) OR ((triple6) -> rule8) OR ((((triple4) -> rule3)) -> rule8) OR ((((((triple1 triple3) -> rule4)) -> rule3)) -> rule8) OR ((((((triple3 triple1) -> rule1)) -> rule3)) -> rule8))] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple1 triple3) -> rule4) OR ((triple3 triple1) -> rule1) OR ((triple3 ((triple6 triple7) -> rule6)) -> rule1) OR ((((triple6 triple7) -> rule6) triple3) -> rule4))] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple4) -> rule3) OR ((((triple1 triple3) -> rule4)) -> rule3) OR ((((triple3 triple1) -> rule1)) -> rule3))] Anne is young.[(triple7 OR ((triple4) -> rule7) OR ((triple2 triple1) -> rule5) OR ((((triple1 triple3) -> rule4)) -> rule7) OR ((((triple3 triple1) -> rule1)) -> rule7) OR ((((triple3) -> rule2) triple1) -> rule5) OR ((((triple6) -> rule8) triple1) -> rule5) OR ((((((triple4) -> rule3)) -> rule8) triple1) -> rule5) OR ((((((((triple1 triple3) -> rule4)) -> rule3)) -> rule8) triple1) -> rule5) OR ((((((((triple3 triple1) -> rule1)) -> rule3)) -> rule8) triple1) -> rule5))] Gary is furry.[(triple8 OR ((triple13 triple14) -> rule6) OR ((triple13 ((triple11) -> rule7)) -> rule6) OR ((((triple11) -> rule3) triple14) -> rule6) OR ((((triple11) -> rule3) ((triple11) -> rule7)) -> rule6))] Gary is green.[(triple9 OR ((triple10) -> rule2) OR ((triple13) -> rule8) OR ((((triple11) -> rule3)) -> rule8) OR ((((((triple10 triple8) -> rule1)) -> rule3)) -> rule8) OR ((((((triple8 triple10) -> rule4)) -> rule3)) -> rule8))] Gary is quiet.[(triple10)] Gary is rough.[(triple11 OR ((triple10 triple8) -> rule1) OR ((triple8 triple10) -> rule4) OR ((triple10 ((triple13 triple14) -> rule6)) -> rule1) OR ((((triple13 triple14) -> rule6) triple10) -> rule4))] Gary is smart.[(triple12)] Gary is white.[(triple13 OR ((triple11) -> rule3) OR ((((triple10 triple8) -> rule1)) -> rule3) OR ((((triple8 triple10) -> rule4)) -> rule3))] Gary is young.[(triple14 OR ((triple11) -> rule7) OR ((triple9 triple8) -> rule5) OR ((((triple10 triple8) -> rule1)) -> rule7) OR ((((triple8 triple10) -> rule4)) -> rule7) OR ((((triple10) -> rule2) triple8) -> rule5) OR ((((triple13) -> rule8) triple8) -> rule5) OR ((((((triple11) -> rule3)) -> rule8) triple8) -> rule5) OR ((((((((triple10 triple8) -> rule1)) -> rule3)) -> rule8) triple8) -> rule5) OR ((((((((triple8 triple10) -> rule4)) -> rule3)) -> rule8) triple8) -> rule5))]