Charlie is green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is young. All quiet people are smart. All green, kind people are smart. All green people are young. Quiet, red people are blue. All kind, blue people are green. All blue people are green. If Charlie is young then Charlie is red. If someone is smart and young then they are quiet.
Charlie is not red.
@0: Charlie is green.[(triple1 OR ((((triple3 ((triple5) -> rule7)) -> rule4)) -> rule6) OR ((triple2 ((triple3 ((triple5) -> rule7)) -> rule4)) -> rule5) OR ((((((triple4 triple5) -> rule8) ((triple5) -> rule7)) -> rule4)) -> rule6) OR ((triple2 ((((triple4 triple5) -> rule8) ((triple5) -> rule7)) -> rule4)) -> rule5))] Charlie is kind.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4 triple5) -> rule8) OR ((triple4 ((triple1) -> rule3)) -> rule8) OR ((((triple1 triple2) -> rule2) triple5) -> rule8) OR ((((triple1 triple2) -> rule2) ((triple1) -> rule3)) -> rule8))] Charlie is smart.[(triple4 OR ((triple3) -> rule1) OR ((triple1 triple2) -> rule2) OR ((((((triple3 ((triple5) -> rule7)) -> rule4)) -> rule6) triple2) -> rule2) OR ((((triple2 ((triple3 ((triple5) -> rule7)) -> rule4)) -> rule5) triple2) -> rule2))] Charlie is young.[(triple5 OR ((triple1) -> rule3))] Fiona is blue.[(triple6 OR ((triple9 triple10) -> rule4) OR ((((triple11 triple12) -> rule8) triple10) -> rule4) OR ((((triple11 ((triple7) -> rule3)) -> rule8) triple10) -> rule4) OR ((((((triple7 triple8) -> rule2) triple12) -> rule8) triple10) -> rule4) OR ((((((triple7 triple8) -> rule2) ((triple7) -> rule3)) -> rule8) triple10) -> rule4))] Fiona is green.[(triple7 OR ((triple6) -> rule6) OR ((triple8 triple6) -> rule5) OR ((((triple9 triple10) -> rule4)) -> rule6) OR ((triple8 ((triple9 triple10) -> rule4)) -> rule5) OR ((((((triple11 triple12) -> rule8) triple10) -> rule4)) -> rule6) OR ((triple8 ((((triple11 triple12) -> rule8) triple10) -> rule4)) -> rule5))] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9 OR ((triple11 triple12) -> rule8) OR ((triple11 ((triple7) -> rule3)) -> rule8) OR ((((triple7 triple8) -> rule2) triple12) -> rule8) OR ((((triple7 triple8) -> rule2) ((triple7) -> rule3)) -> rule8) OR ((triple11 ((((triple6) -> rule6)) -> rule3)) -> rule8) OR ((triple11 ((((triple8 triple6) -> rule5)) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) triple8) -> rule2) triple12) -> rule8) OR ((((((triple8 triple6) -> rule5) triple8) -> rule2) triple12) -> rule8) OR ((((triple7 triple8) -> rule2) ((((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((triple7 triple8) -> rule2) ((((triple8 triple6) -> rule5)) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) triple8) -> rule2) ((triple7) -> rule3)) -> rule8) OR ((((((triple8 triple6) -> rule5) triple8) -> rule2) ((triple7) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) triple8) -> rule2) ((((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((((triple6) -> rule6) triple8) -> rule2) ((((triple8 triple6) -> rule5)) -> rule3)) -> rule8) OR ((((((triple8 triple6) -> rule5) triple8) -> rule2) ((((triple6) -> rule6)) -> rule3)) -> rule8) OR ((((((triple8 triple6) -> rule5) triple8) -> rule2) ((((triple8 triple6) -> rule5)) -> rule3)) -> rule8))] Fiona is red.[(triple10)] Fiona is smart.[(triple11 OR ((triple9) -> rule1) OR ((triple7 triple8) -> rule2) OR ((((triple6) -> rule6) triple8) -> rule2) OR ((((triple8 triple6) -> rule5) triple8) -> rule2) OR ((((((triple9 triple10) -> rule4)) -> rule6) triple8) -> rule2) OR ((((triple8 ((triple9 triple10) -> rule4)) -> rule5) triple8) -> rule2))] Fiona is young.[(triple12 OR ((triple7) -> rule3) OR ((((triple6) -> rule6)) -> rule3) OR ((((triple8 triple6) -> rule5)) -> rule3) OR ((((((triple9 triple10) -> rule4)) -> rule6)) -> rule3) OR ((((triple8 ((triple9 triple10) -> rule4)) -> rule5)) -> rule3))] @1: Charlie is red.[(((triple5) -> rule7) OR ((((triple1) -> rule3)) -> rule7))] @2: Charlie is blue.[(((triple3 ((triple5) -> rule7)) -> rule4) OR ((((triple4 triple5) -> rule8) ((triple5) -> rule7)) -> rule4) OR ((triple3 ((((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple4 triple5) -> rule8) ((((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple4 ((triple1) -> rule3)) -> rule8) ((triple5) -> rule7)) -> rule4) OR ((((((triple1 triple2) -> rule2) triple5) -> rule8) ((triple5) -> rule7)) -> rule4) OR ((((triple4 ((triple1) -> rule3)) -> rule8) ((((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple1 triple2) -> rule2) triple5) -> rule8) ((((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((((triple1 triple2) -> rule2) ((triple1) -> rule3)) -> rule8) ((triple5) -> rule7)) -> rule4) OR ((((((triple1 triple2) -> rule2) ((triple1) -> rule3)) -> rule8) ((((triple1) -> rule3)) -> rule7)) -> rule4))]