Anne is big. Anne is blue. Anne is furry. Anne is nice. Anne is round. Anne is smart. Dave is blue. Dave is furry. Dave is round. Gary is big. Gary is blue. Gary is furry. Gary is nice. Gary is red. Gary is round. Gary is smart. Red, nice people are furry. If someone is furry and round then they are red. Smart people are round. If Dave is nice and Dave is red then Dave is furry. Blue, furry people are smart. All big people are blue. Blue, red people are round. If someone is smart and blue then they are red.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple1) -> rule6))] Anne is furry.[(triple3 OR ((((triple6 triple2) -> rule8) triple4) -> rule1) OR ((((triple6 ((triple1) -> rule6)) -> rule8) triple4) -> rule1))] Anne is nice.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule3) OR ((((triple2 triple3) -> rule5)) -> rule3) OR ((triple2 ((triple6 triple2) -> rule8)) -> rule7) OR ((((triple1) -> rule6) ((triple6 triple2) -> rule8)) -> rule7) OR ((((((triple1) -> rule6) triple3) -> rule5)) -> rule3) OR ((triple2 ((triple6 ((triple1) -> rule6)) -> rule8)) -> rule7) OR ((triple2 ((((triple2 triple3) -> rule5) triple2) -> rule8)) -> rule7) OR ((triple2 ((((triple2 triple3) -> rule5) ((triple1) -> rule6)) -> rule8)) -> rule7) OR ((((triple1) -> rule6) ((triple6 ((triple1) -> rule6)) -> rule8)) -> rule7) OR ((((triple1) -> rule6) ((((triple2 triple3) -> rule5) triple2) -> rule8)) -> rule7) OR ((((triple1) -> rule6) ((((triple2 triple3) -> rule5) ((triple1) -> rule6)) -> rule8)) -> rule7) OR ((triple2 ((((((triple1) -> rule6) triple3) -> rule5) triple2) -> rule8)) -> rule7) OR ((triple2 ((((((triple1) -> rule6) triple3) -> rule5) ((triple1) -> rule6)) -> rule8)) -> rule7) OR ((((triple1) -> rule6) ((((((triple1) -> rule6) triple3) -> rule5) triple2) -> rule8)) -> rule7) OR ((((triple1) -> rule6) ((((((triple1) -> rule6) triple3) -> rule5) ((triple1) -> rule6)) -> rule8)) -> rule7))] Anne is smart.[(triple6 OR ((triple2 triple3) -> rule5) OR ((((triple1) -> rule6) triple3) -> rule5))] Dave is blue.[(triple7)] Dave is furry.[(triple8)] Dave is round.[(triple9 OR ((((triple7 triple8) -> rule5)) -> rule3) OR ((triple7 ((((triple7 triple8) -> rule5) triple7) -> rule8)) -> rule7))] Gary is big.[(triple10)] Gary is blue.[(triple11 OR ((triple10) -> rule6))] Gary is furry.[(triple12 OR ((triple14 triple13) -> rule1) OR ((((triple16 triple11) -> rule8) triple13) -> rule1) OR ((((triple16 ((triple10) -> rule6)) -> rule8) triple13) -> rule1))] Gary is nice.[(triple13)] Gary is red.[(triple14 OR ((triple12 triple15) -> rule2) OR ((triple16 triple11) -> rule8) OR ((triple12 ((triple16) -> rule3)) -> rule2) OR ((triple16 ((triple10) -> rule6)) -> rule8) OR ((((triple11 triple12) -> rule5) triple11) -> rule8) OR ((((triple11 triple12) -> rule5) ((triple10) -> rule6)) -> rule8) OR ((triple12 ((((triple11 triple12) -> rule5)) -> rule3)) -> rule2) OR ((((((triple10) -> rule6) triple12) -> rule5) triple11) -> rule8) OR ((((((triple10) -> rule6) triple12) -> rule5) ((triple10) -> rule6)) -> rule8) OR ((triple12 ((((((triple10) -> rule6) triple12) -> rule5)) -> rule3)) -> rule2))] Gary is round.[(triple15 OR ((triple16) -> rule3) OR ((triple11 triple14) -> rule7) OR ((((triple11 triple12) -> rule5)) -> rule3) OR ((triple11 ((triple16 triple11) -> rule8)) -> rule7) OR ((((triple10) -> rule6) triple14) -> rule7) OR ((((triple10) -> rule6) ((triple16 triple11) -> rule8)) -> rule7) OR ((((triple11 ((triple14 triple13) -> rule1)) -> rule5)) -> rule3) OR ((((((triple10) -> rule6) triple12) -> rule5)) -> rule3) OR ((triple11 ((triple16 ((triple10) -> rule6)) -> rule8)) -> rule7) OR ((triple11 ((((triple11 triple12) -> rule5) triple11) -> rule8)) -> rule7) OR ((((((triple10) -> rule6) ((triple14 triple13) -> rule1)) -> rule5)) -> rule3) OR ((triple11 ((((triple11 triple12) -> rule5) ((triple10) -> rule6)) -> rule8)) -> rule7) OR ((((triple10) -> rule6) ((triple16 ((triple10) -> rule6)) -> rule8)) -> rule7) OR ((((triple10) -> rule6) ((((triple11 triple12) -> rule5) triple11) -> rule8)) -> rule7) OR ((((triple10) -> rule6) ((((triple11 triple12) -> rule5) ((triple10) -> rule6)) -> rule8)) -> rule7) OR ((triple11 ((((((triple10) -> rule6) triple12) -> rule5) triple11) -> rule8)) -> rule7) OR ((triple11 ((((((triple10) -> rule6) triple12) -> rule5) ((triple10) -> rule6)) -> rule8)) -> rule7) OR ((((triple10) -> rule6) ((((((triple10) -> rule6) triple12) -> rule5) triple11) -> rule8)) -> rule7) OR ((((triple10) -> rule6) ((((((triple10) -> rule6) triple12) -> rule5) ((triple10) -> rule6)) -> rule8)) -> rule7))] Gary is smart.[(triple16 OR ((triple11 triple12) -> rule5) OR ((triple11 ((triple14 triple13) -> rule1)) -> rule5) OR ((((triple10) -> rule6) triple12) -> rule5) OR ((((triple10) -> rule6) ((triple14 triple13) -> rule1)) -> rule5))] @1: Anne is red.[(((triple3 triple5) -> rule2) OR ((triple6 triple2) -> rule8) OR ((triple3 ((triple6) -> rule3)) -> rule2) OR ((triple6 ((triple1) -> rule6)) -> rule8) OR ((((triple2 triple3) -> rule5) triple2) -> rule8) OR ((((triple2 triple3) -> rule5) ((triple1) -> rule6)) -> rule8) OR ((triple3 ((((triple2 triple3) -> rule5)) -> rule3)) -> rule2) OR ((((((triple1) -> rule6) triple3) -> rule5) triple2) -> rule8) OR ((((((triple1) -> rule6) triple3) -> rule5) ((triple1) -> rule6)) -> rule8) OR ((triple3 ((((((triple1) -> rule6) triple3) -> rule5)) -> rule3)) -> rule2))] Dave is red.[(((triple8 triple9) -> rule2) OR ((((triple7 triple8) -> rule5) triple7) -> rule8) OR ((triple8 ((((triple7 triple8) -> rule5)) -> rule3)) -> rule2))] Dave is smart.[(((triple7 triple8) -> rule5))]