Anne is cold. Anne is green. Anne is quiet. Anne is smart. Anne is young. Charlie is smart. Erin is quiet. Erin is red. Erin is young. Fiona is green. Fiona is smart. Fiona is young. If something is green and quiet then it is young. All quiet, green things are cold. If something is smart then it is red. If something is red and nice then it is quiet. If Charlie is quiet then Charlie is cold. If Anne is green and Anne is cold then Anne is red. All smart, quiet things are green. Red things are quiet. Young things are nice.
Charlie is young.
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule2) OR ((triple3 ((triple4 triple3) -> rule7)) -> rule2) OR ((((((triple4) -> rule3)) -> rule8) triple2) -> rule2) OR ((((((triple4) -> rule3)) -> rule8) ((triple4 triple3) -> rule7)) -> rule2) OR ((((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4) triple2) -> rule2) OR ((((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4) ((triple4 triple3) -> rule7)) -> rule2) OR ((triple3 ((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7)) -> rule2) OR ((triple3 ((triple4 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple4) -> rule3)) -> rule8) ((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple4) -> rule3)) -> rule8) ((triple4 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4) ((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4) ((triple4 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4)) -> rule7)) -> rule2))] Anne is green.[(triple2 OR ((triple4 triple3) -> rule7) OR ((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) OR ((triple4 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4)) -> rule7))] Anne is quiet.[(triple3 OR ((((triple4) -> rule3)) -> rule8) OR ((((triple2 triple1) -> rule6)) -> rule8) OR ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule4) OR ((((triple2 triple1) -> rule6) ((triple5) -> rule9)) -> rule4))] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((triple2 triple3) -> rule1) OR ((((triple4 triple3) -> rule7) triple3) -> rule1) OR ((triple2 ((((triple4) -> rule3)) -> rule8)) -> rule1) OR ((triple2 ((((triple2 triple1) -> rule6)) -> rule8)) -> rule1) OR ((((triple4 triple3) -> rule7) ((((triple4) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 triple3) -> rule7) ((((triple2 triple1) -> rule6)) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) triple3) -> rule1) OR ((((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) ((((triple4) -> rule3)) -> rule8)) -> rule1) OR ((((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) ((((triple2 triple1) -> rule6)) -> rule8)) -> rule1))] Charlie is smart.[(triple6)] Erin is quiet.[(triple7 OR ((triple8) -> rule8) OR ((triple8 ((triple9) -> rule9)) -> rule4))] Erin is red.[(triple8)] Erin is young.[(triple9)] Fiona is green.[(triple10 OR ((triple11 ((((triple11) -> rule3)) -> rule8)) -> rule7) OR ((triple11 ((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4)) -> rule7))] Fiona is smart.[(triple11)] Fiona is young.[(triple12 OR ((triple10 ((((triple11) -> rule3)) -> rule8)) -> rule1) OR ((((triple11 ((((triple11) -> rule3)) -> rule8)) -> rule7) ((((triple11) -> rule3)) -> rule8)) -> rule1))] @1: Anne is nice.[(((triple5) -> rule9) OR ((((triple2 triple3) -> rule1)) -> rule9) OR ((((((triple4 triple3) -> rule7) triple3) -> rule1)) -> rule9) OR ((((triple2 ((((triple4) -> rule3)) -> rule8)) -> rule1)) -> rule9) OR ((((triple2 ((((triple2 triple1) -> rule6)) -> rule8)) -> rule1)) -> rule9) OR ((((((triple4 triple3) -> rule7) ((((triple4) -> rule3)) -> rule8)) -> rule1)) -> rule9) OR ((((((triple4 triple3) -> rule7) ((((triple2 triple1) -> rule6)) -> rule8)) -> rule1)) -> rule9) OR ((((((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) triple3) -> rule1)) -> rule9) OR ((((((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) ((((triple4) -> rule3)) -> rule8)) -> rule1)) -> rule9) OR ((((((triple4 ((((triple4) -> rule3)) -> rule8)) -> rule7) ((((triple2 triple1) -> rule6)) -> rule8)) -> rule1)) -> rule9))] Anne is red.[(((triple4) -> rule3) OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple3 triple2) -> rule2)) -> rule6) OR ((((triple4 triple3) -> rule7) triple1) -> rule6) OR ((((triple4 triple3) -> rule7) ((triple3 triple2) -> rule2)) -> rule6) OR ((triple2 ((triple3 ((triple4 triple3) -> rule7)) -> rule2)) -> rule6) OR ((((triple4 triple3) -> rule7) ((triple3 ((triple4 triple3) -> rule7)) -> rule2)) -> rule6))] Charlie is red.[(((triple6) -> rule3))] Erin is nice.[(((triple9) -> rule9))] Fiona is nice.[(((triple12) -> rule9) OR ((((triple10 ((((triple11) -> rule3)) -> rule8)) -> rule1)) -> rule9) OR ((((((triple11 ((((triple11) -> rule3)) -> rule8)) -> rule7) ((((triple11) -> rule3)) -> rule8)) -> rule1)) -> rule9))] Fiona is red.[(((triple11) -> rule3))] @2: Charlie is quiet.[(((((triple6) -> rule3)) -> rule8))] Fiona is quiet.[(((((triple11) -> rule3)) -> rule8) OR ((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4))] @3: Charlie is cold.[(((((((triple6) -> rule3)) -> rule8)) -> rule5) OR ((((((triple6) -> rule3)) -> rule8) ((triple6 ((((triple6) -> rule3)) -> rule8)) -> rule7)) -> rule2))] Charlie is green.[(((triple6 ((((triple6) -> rule3)) -> rule8)) -> rule7))] Fiona is cold.[(((((((triple11) -> rule3)) -> rule8) triple10) -> rule2) OR ((((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4) triple10) -> rule2) OR ((((((triple11) -> rule3)) -> rule8) ((triple11 ((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple11) -> rule3)) -> rule8) ((triple11 ((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4)) -> rule7)) -> rule2) OR ((((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4) ((triple11 ((((triple11) -> rule3)) -> rule8)) -> rule7)) -> rule2) OR ((((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4) ((triple11 ((((triple11) -> rule3) ((triple12) -> rule9)) -> rule4)) -> rule7)) -> rule2))] @4: Charlie is young.[(((((triple6 ((((triple6) -> rule3)) -> rule8)) -> rule7) ((((triple6) -> rule3)) -> rule8)) -> rule1))] @5: Charlie is nice.[(((((((triple6 ((((triple6) -> rule3)) -> rule8)) -> rule7) ((((triple6) -> rule3)) -> rule8)) -> rule1)) -> rule9))]