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