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