Anne is blue. Anne is quiet. Anne is red. Anne is young. Dave is blue. Dave is quiet. Dave is red. Dave is smart. Dave is young. Gary is blue. Gary is green. Gary is kind. Gary is quiet. Gary is red. Gary is smart. Gary is young. Quiet, blue people are young. If Dave is smart then Dave is red. All young people are red. Red, quiet people are blue. If someone is young then they are kind. All green people are smart. All green, young people are kind. All smart, kind people are red.
Dave is green.
@0: Anne is blue.[(triple1 OR ((triple3 triple2) -> rule4) OR ((((triple4) -> rule3) triple2) -> rule4))] Anne is quiet.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule3) OR ((((triple2 triple1) -> rule1)) -> rule3))] Anne is young.[(triple4 OR ((triple2 triple1) -> rule1) OR ((triple2 ((triple3 triple2) -> rule4)) -> rule1))] Dave is blue.[(triple5 OR ((triple7 triple6) -> rule4) OR ((((triple8) -> rule2) triple6) -> rule4) OR ((((triple9) -> rule3) triple6) -> rule4) OR ((((triple8 ((triple9) -> rule5)) -> rule8) triple6) -> rule4))] Dave is quiet.[(triple6)] Dave is red.[(triple7 OR ((triple8) -> rule2) OR ((triple9) -> rule3) OR ((((triple6 triple5) -> rule1)) -> rule3) OR ((triple8 ((triple9) -> rule5)) -> rule8) OR ((triple8 ((((triple6 triple5) -> rule1)) -> rule5)) -> rule8))] Dave is smart.[(triple8)] Dave is young.[(triple9 OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple7 triple6) -> rule4)) -> rule1) OR ((triple6 ((((triple8) -> rule2) triple6) -> rule4)) -> rule1))] Gary is blue.[(triple10 OR ((triple14 triple13) -> rule4) OR ((((triple16) -> rule3) triple13) -> rule4) OR ((((triple15 triple12) -> rule8) triple13) -> rule4) OR ((((triple15 ((triple16) -> rule5)) -> rule8) triple13) -> rule4) OR ((((triple15 ((triple11 triple16) -> rule7)) -> rule8) triple13) -> rule4) OR ((((((triple11) -> rule6) triple12) -> rule8) triple13) -> rule4) OR ((((((triple11) -> rule6) ((triple16) -> rule5)) -> rule8) triple13) -> rule4) OR ((((((triple11) -> rule6) ((triple11 triple16) -> rule7)) -> rule8) triple13) -> rule4))] Gary is green.[(triple11)] Gary is kind.[(triple12 OR ((triple16) -> rule5) OR ((triple11 triple16) -> rule7) OR ((((triple13 triple10) -> rule1)) -> rule5) OR ((triple11 ((triple13 triple10) -> rule1)) -> rule7) OR ((((triple13 ((triple14 triple13) -> rule4)) -> rule1)) -> rule5) OR ((triple11 ((triple13 ((triple14 triple13) -> rule4)) -> rule1)) -> rule7))] Gary is quiet.[(triple13)] Gary is red.[(triple14 OR ((triple16) -> rule3) OR ((triple15 triple12) -> rule8) OR ((((triple13 triple10) -> rule1)) -> rule3) OR ((triple15 ((triple16) -> rule5)) -> rule8) OR ((triple15 ((triple11 triple16) -> rule7)) -> rule8) OR ((((triple11) -> rule6) triple12) -> rule8) OR ((((triple11) -> rule6) ((triple16) -> rule5)) -> rule8) OR ((((triple11) -> rule6) ((triple11 triple16) -> rule7)) -> rule8) OR ((triple15 ((((triple13 triple10) -> rule1)) -> rule5)) -> rule8) OR ((triple15 ((triple11 ((triple13 triple10) -> rule1)) -> rule7)) -> rule8) OR ((((triple11) -> rule6) ((((triple13 triple10) -> rule1)) -> rule5)) -> rule8) OR ((((triple11) -> rule6) ((triple11 ((triple13 triple10) -> rule1)) -> rule7)) -> rule8))] Gary is smart.[(triple15 OR ((triple11) -> rule6))] Gary is young.[(triple16 OR ((triple13 triple10) -> rule1) OR ((triple13 ((triple14 triple13) -> rule4)) -> rule1) OR ((triple13 ((((triple15 triple12) -> rule8) triple13) -> rule4)) -> rule1) OR ((triple13 ((((((triple11) -> rule6) triple12) -> rule8) triple13) -> rule4)) -> rule1))] @1: Anne is kind.[(((triple4) -> rule5) OR ((((triple2 triple1) -> rule1)) -> rule5) OR ((((triple2 ((triple3 triple2) -> rule4)) -> rule1)) -> rule5))] Dave is kind.[(((triple9) -> rule5) OR ((((triple6 triple5) -> rule1)) -> rule5) OR ((((triple6 ((triple7 triple6) -> rule4)) -> rule1)) -> rule5) OR ((((triple6 ((((triple8) -> rule2) triple6) -> rule4)) -> rule1)) -> rule5))]