Anne is blue. Anne is furry. Anne is red. Anne is smart. Anne is white. Anne is young. Dave is blue. Dave is furry. Dave is nice. Dave is red. Dave is smart. Dave is white. Dave is young. Gary is furry. Gary is smart. Gary is young. Blue things are red. Smart things are young. If something is young and nice then it is blue. All furry, smart things are young. All nice, young things are white. All furry things are nice. If Anne is red and Anne is nice then Anne is furry. If Gary is nice and Gary is red then Gary is furry.
Gary is not white.
@0: Anne is blue.[(triple1 OR ((triple6 ((triple2) -> rule6)) -> rule3) OR ((((triple4) -> rule2) ((triple2) -> rule6)) -> rule3) OR ((((triple2 triple4) -> rule4) ((triple2) -> rule6)) -> rule3))] Anne is furry.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule1) OR ((((triple6 ((triple2) -> rule6)) -> rule3)) -> rule1) OR ((((((triple4) -> rule2) ((triple2) -> rule6)) -> rule3)) -> rule1) OR ((((((triple2 triple4) -> rule4) ((triple2) -> rule6)) -> rule3)) -> rule1))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((((triple2) -> rule6) triple6) -> rule5) OR ((((triple2) -> rule6) ((triple4) -> rule2)) -> rule5) OR ((((triple2) -> rule6) ((triple2 triple4) -> rule4)) -> rule5))] Anne is young.[(triple6 OR ((triple4) -> rule2) OR ((triple2 triple4) -> rule4))] Dave is blue.[(triple7 OR ((triple13 triple9) -> rule3) OR ((triple13 ((triple8) -> rule6)) -> rule3) OR ((((triple11) -> rule2) triple9) -> rule3) OR ((((triple8 triple11) -> rule4) triple9) -> rule3) OR ((((triple11) -> rule2) ((triple8) -> rule6)) -> rule3) OR ((((triple8 triple11) -> rule4) ((triple8) -> rule6)) -> rule3))] Dave is furry.[(triple8)] Dave is nice.[(triple9 OR ((triple8) -> rule6))] Dave is red.[(triple10 OR ((triple7) -> rule1) OR ((((triple13 triple9) -> rule3)) -> rule1) OR ((((triple13 ((triple8) -> rule6)) -> rule3)) -> rule1) OR ((((((triple11) -> rule2) triple9) -> rule3)) -> rule1) OR ((((((triple8 triple11) -> rule4) triple9) -> rule3)) -> rule1) OR ((((((triple11) -> rule2) ((triple8) -> rule6)) -> rule3)) -> rule1) OR ((((((triple8 triple11) -> rule4) ((triple8) -> rule6)) -> rule3)) -> rule1))] Dave is smart.[(triple11)] Dave is white.[(triple12 OR ((triple9 triple13) -> rule5) OR ((triple9 ((triple11) -> rule2)) -> rule5) OR ((triple9 ((triple8 triple11) -> rule4)) -> rule5) OR ((((triple8) -> rule6) triple13) -> rule5) OR ((((triple8) -> rule6) ((triple11) -> rule2)) -> rule5) OR ((((triple8) -> rule6) ((triple8 triple11) -> rule4)) -> rule5))] Dave is young.[(triple13 OR ((triple11) -> rule2) OR ((triple8 triple11) -> rule4))] Gary is furry.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16 OR ((triple15) -> rule2) OR ((triple14 triple15) -> rule4))] @1: Anne is nice.[(((triple2) -> rule6))] Gary is nice.[(((triple14) -> rule6))] @2: Gary is blue.[(((triple16 ((triple14) -> rule6)) -> rule3) OR ((((triple15) -> rule2) ((triple14) -> rule6)) -> rule3) OR ((((triple14 triple15) -> rule4) ((triple14) -> rule6)) -> rule3))] Gary is white.[(((((triple14) -> rule6) triple16) -> rule5) OR ((((triple14) -> rule6) ((triple15) -> rule2)) -> rule5) OR ((((triple14) -> rule6) ((triple14 triple15) -> rule4)) -> rule5))] @3: Gary is red.[(((((triple16 ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((((triple15) -> rule2) ((triple14) -> rule6)) -> rule3)) -> rule1) OR ((((((triple14 triple15) -> rule4) ((triple14) -> rule6)) -> rule3)) -> rule1))]