Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is white. Anne is young. Bob is kind. Bob is quiet. Bob is white. Bob is young. Gary is furry. Gary is green. Gary is kind. Gary is quiet. Gary is smart. Gary is white. All green people are kind. If someone is green and kind then they are quiet. If someone is kind and green then they are smart. White, young people are furry. If someone is green and smart then they are quiet. All furry people are green.
Gary is not kind.
@0: Anne is furry.[(triple1 OR ((triple5 triple6) -> rule4))] Anne is green.[(triple2 OR ((triple1) -> rule6) OR ((((triple5 triple6) -> rule4)) -> rule6))] Anne is kind.[(triple3 OR ((triple2) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1))] Anne is quiet.[(triple4 OR ((triple2 triple3) -> rule2) OR ((triple2 ((triple2) -> rule1)) -> rule2) OR ((triple2 ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule6) triple3) -> rule2) OR ((((triple1) -> rule6) ((triple2) -> rule1)) -> rule2) OR ((((triple1) -> rule6) ((triple3 triple2) -> rule3)) -> rule5) OR ((triple2 ((((triple1) -> rule6)) -> rule1)) -> rule2) OR ((triple2 ((triple3 ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) triple3) -> rule2) OR ((triple2 ((((triple2) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule1)) -> rule2) OR ((((triple1) -> rule6) ((triple3 ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((triple2) -> rule1)) -> rule2) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((triple3 triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple2) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((triple1) -> rule6)) -> rule1)) -> rule2) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((triple3 ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((triple2) -> rule1) triple2) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((triple2) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((triple2 ((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((triple2 ((triple3 ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((triple2 ((((((triple1) -> rule6)) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple2 ((((triple2) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((triple2 ((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((triple1) -> rule6) ((triple3 ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple2 ((((((triple1) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((triple2) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((triple3 ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((triple1) -> rule6)) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((triple2) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((triple1) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((triple2 ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple2 ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) triple2) -> rule3)) -> rule5) OR ((triple2 ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) triple2) -> rule3)) -> rule5) OR ((((triple1) -> rule6) ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3)) -> rule5) OR ((((((triple5 triple6) -> rule4)) -> rule6) ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Anne is white.[(triple5)] Anne is young.[(triple6)] Bob is kind.[(triple7 OR ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule1))] Bob is quiet.[(triple8 OR ((((((triple9 triple10) -> rule4)) -> rule6) triple7) -> rule2) OR ((((((triple9 triple10) -> rule4)) -> rule6) ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple9 triple10) -> rule4)) -> rule6) ((triple7 ((((triple9 triple10) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((((((triple9 triple10) -> rule4)) -> rule6) ((((((((triple9 triple10) -> rule4)) -> rule6)) -> rule1) ((((triple9 triple10) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Bob is white.[(triple9)] Bob is young.[(triple10)] Gary is furry.[(triple11)] Gary is green.[(triple12 OR ((triple11) -> rule6))] Gary is kind.[(triple13 OR ((triple12) -> rule1) OR ((((triple11) -> rule6)) -> rule1))] Gary is quiet.[(triple14 OR ((triple12 triple13) -> rule2) OR ((triple12 triple15) -> rule5) OR ((triple12 ((triple12) -> rule1)) -> rule2) OR ((triple12 ((triple13 triple12) -> rule3)) -> rule5) OR ((((triple11) -> rule6) triple13) -> rule2) OR ((((triple11) -> rule6) triple15) -> rule5) OR ((((triple11) -> rule6) ((triple12) -> rule1)) -> rule2) OR ((((triple11) -> rule6) ((triple13 triple12) -> rule3)) -> rule5) OR ((triple12 ((((triple11) -> rule6)) -> rule1)) -> rule2) OR ((triple12 ((triple13 ((triple11) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((triple12) -> rule1) triple12) -> rule3)) -> rule5) OR ((triple12 ((((triple12) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple11) -> rule6)) -> rule1)) -> rule2) OR ((((triple11) -> rule6) ((triple13 ((triple11) -> rule6)) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple12) -> rule1) triple12) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((triple12) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule5) OR ((triple12 ((((((triple11) -> rule6)) -> rule1) triple12) -> rule3)) -> rule5) OR ((triple12 ((((((triple11) -> rule6)) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((((triple11) -> rule6)) -> rule1) triple12) -> rule3)) -> rule5) OR ((((triple11) -> rule6) ((((((triple11) -> rule6)) -> rule1) ((triple11) -> rule6)) -> rule3)) -> rule5))] Gary is smart.[(triple15 OR ((triple13 triple12) -> rule3) OR ((triple13 ((triple11) -> rule6)) -> rule3) OR ((((triple12) -> rule1) triple12) -> rule3) OR ((((triple12) -> rule1) ((triple11) -> rule6)) -> rule3) OR ((((((triple11) -> rule6)) -> rule1) triple12) -> rule3) OR ((((((triple11) -> rule6)) -> rule1) ((triple11) -> rule6)) -> rule3))] Gary is white.[(triple16)] @1: Anne is smart.[(((triple3 triple2) -> rule3) OR ((triple3 ((triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule1) triple2) -> rule3) OR ((((triple2) -> rule1) ((triple1) -> rule6)) -> rule3) OR ((triple3 ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) triple2) -> rule3) OR ((((triple2) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3) OR ((((((triple1) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) triple2) -> rule3) OR ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((triple1) -> rule6)) -> rule3) OR ((((((((triple5 triple6) -> rule4)) -> rule6)) -> rule1) ((((triple5 triple6) -> rule4)) -> rule6)) -> rule3))] Bob is furry.[(((triple9 triple10) -> rule4))] @2: Bob is green.[(((((triple9 triple10) -> rule4)) -> rule6))] @3: Bob is smart.[(((triple7 ((((triple9 triple10) -> rule4)) -> rule6)) -> rule3) OR ((((((((triple9 triple10) -> rule4)) -> rule6)) -> rule1) ((((triple9 triple10) -> rule4)) -> rule6)) -> rule3))]