Anne is big. Anne is blue. Anne is cold. Anne is nice. Anne is smart. Dave is big. Dave is blue. Dave is green. Dave is nice. Erin is blue. Erin is cold. Fiona is blue. Fiona is green. Fiona is nice. If Erin is smart then Erin is nice. All big, smart things are kind. Kind, big things are blue. If Dave is blue then Dave is cold. Blue things are smart. All kind things are green. All smart things are nice. If Erin is green and Erin is smart then Erin is cold. If something is nice and smart then it is big.
Erin is not green.
@0: Anne is big.[(triple1 OR ((triple4 triple5) -> rule9) OR ((triple4 ((triple2) -> rule5)) -> rule9) OR ((((triple5) -> rule7) triple5) -> rule9) OR ((((triple5) -> rule7) ((triple2) -> rule5)) -> rule9) OR ((((((triple2) -> rule5)) -> rule7) triple5) -> rule9) OR ((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule9))] Anne is blue.[(triple2 OR ((((triple1 triple5) -> rule2) triple1) -> rule3) OR ((((triple1 triple5) -> rule2) ((triple4 triple5) -> rule9)) -> rule3) OR ((((((triple4 triple5) -> rule9) triple5) -> rule2) triple1) -> rule3) OR ((((triple1 triple5) -> rule2) ((((triple5) -> rule7) triple5) -> rule9)) -> rule3) OR ((((((triple4 triple5) -> rule9) triple5) -> rule2) ((triple4 triple5) -> rule9)) -> rule3) OR ((((((triple4 triple5) -> rule9) triple5) -> rule2) ((((triple5) -> rule7) triple5) -> rule9)) -> rule3) OR ((((((((triple5) -> rule7) triple5) -> rule9) triple5) -> rule2) triple1) -> rule3) OR ((((((((triple5) -> rule7) triple5) -> rule9) triple5) -> rule2) ((triple4 triple5) -> rule9)) -> rule3) OR ((((((((triple5) -> rule7) triple5) -> rule9) triple5) -> rule2) ((((triple5) -> rule7) triple5) -> rule9)) -> rule3))] Anne is cold.[(triple3)] Anne is nice.[(triple4 OR ((triple5) -> rule7) OR ((((triple2) -> rule5)) -> rule7))] Anne is smart.[(triple5 OR ((triple2) -> rule5))] Dave is big.[(triple6 OR ((triple9 ((triple7) -> rule5)) -> rule9) OR ((((((triple7) -> rule5)) -> rule7) ((triple7) -> rule5)) -> rule9))] Dave is blue.[(triple7)] Dave is green.[(triple8 OR ((((triple6 ((triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((triple9 ((triple7) -> rule5)) -> rule9) ((triple7) -> rule5)) -> rule2)) -> rule6) OR ((((((((((triple7) -> rule5)) -> rule7) ((triple7) -> rule5)) -> rule9) ((triple7) -> rule5)) -> rule2)) -> rule6))] Dave is nice.[(triple9 OR ((((triple7) -> rule5)) -> rule7))] Erin is blue.[(triple10)] Erin is cold.[(triple11 OR ((((((((((((triple10) -> rule5)) -> rule1) ((triple10) -> rule5)) -> rule9) ((triple10) -> rule5)) -> rule2)) -> rule6) ((triple10) -> rule5)) -> rule8) OR ((((((((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule9) ((triple10) -> rule5)) -> rule2)) -> rule6) ((triple10) -> rule5)) -> rule8))] Fiona is blue.[(triple12)] Fiona is green.[(triple13 OR ((((((triple14 ((triple12) -> rule5)) -> rule9) ((triple12) -> rule5)) -> rule2)) -> rule6) OR ((((((((((triple12) -> rule5)) -> rule7) ((triple12) -> rule5)) -> rule9) ((triple12) -> rule5)) -> rule2)) -> rule6))] Fiona is nice.[(triple14 OR ((((triple12) -> rule5)) -> rule7))] @1: Anne is kind.[(((triple1 triple5) -> rule2) OR ((triple1 ((triple2) -> rule5)) -> rule2) OR ((((triple4 triple5) -> rule9) triple5) -> rule2) OR ((((triple4 triple5) -> rule9) ((triple2) -> rule5)) -> rule2) OR ((((triple4 ((triple2) -> rule5)) -> rule9) triple5) -> rule2) OR ((((((triple5) -> rule7) triple5) -> rule9) triple5) -> rule2) OR ((((triple4 ((triple2) -> rule5)) -> rule9) ((triple2) -> rule5)) -> rule2) OR ((((((triple5) -> rule7) triple5) -> rule9) ((triple2) -> rule5)) -> rule2) OR ((((((triple5) -> rule7) ((triple2) -> rule5)) -> rule9) triple5) -> rule2) OR ((((((triple5) -> rule7) ((triple2) -> rule5)) -> rule9) ((triple2) -> rule5)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7) triple5) -> rule9) triple5) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7) triple5) -> rule9) ((triple2) -> rule5)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule9) triple5) -> rule2) OR ((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule9) ((triple2) -> rule5)) -> rule2))] Dave is cold.[(((triple7) -> rule4))] Dave is smart.[(((triple7) -> rule5))] Erin is smart.[(((triple10) -> rule5))] Fiona is smart.[(((triple12) -> rule5))] @2: Anne is green.[(((((triple1 triple5) -> rule2)) -> rule6) OR ((((triple1 ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple4 triple5) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((triple4 triple5) -> rule9) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule7) triple5) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((triple4 ((triple2) -> rule5)) -> rule9) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule7) triple5) -> rule9) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((((triple5) -> rule7) ((triple2) -> rule5)) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((((triple5) -> rule7) ((triple2) -> rule5)) -> rule9) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((((((triple2) -> rule5)) -> rule7) triple5) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((((((triple2) -> rule5)) -> rule7) triple5) -> rule9) ((triple2) -> rule5)) -> rule2)) -> rule6) OR ((((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule9) triple5) -> rule2)) -> rule6) OR ((((((((((triple2) -> rule5)) -> rule7) ((triple2) -> rule5)) -> rule9) ((triple2) -> rule5)) -> rule2)) -> rule6))] Dave is kind.[(((triple6 ((triple7) -> rule5)) -> rule2) OR ((((triple9 ((triple7) -> rule5)) -> rule9) ((triple7) -> rule5)) -> rule2) OR ((((((((triple7) -> rule5)) -> rule7) ((triple7) -> rule5)) -> rule9) ((triple7) -> rule5)) -> rule2))] Erin is nice.[(((((triple10) -> rule5)) -> rule1) OR ((((triple10) -> rule5)) -> rule7))] Fiona is big.[(((triple14 ((triple12) -> rule5)) -> rule9) OR ((((((triple12) -> rule5)) -> rule7) ((triple12) -> rule5)) -> rule9))] @3: Erin is big.[(((((((triple10) -> rule5)) -> rule1) ((triple10) -> rule5)) -> rule9) OR ((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule9))] Fiona is kind.[(((((triple14 ((triple12) -> rule5)) -> rule9) ((triple12) -> rule5)) -> rule2) OR ((((((((triple12) -> rule5)) -> rule7) ((triple12) -> rule5)) -> rule9) ((triple12) -> rule5)) -> rule2))] @4: Erin is kind.[(((((((((triple10) -> rule5)) -> rule1) ((triple10) -> rule5)) -> rule9) ((triple10) -> rule5)) -> rule2) OR ((((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule9) ((triple10) -> rule5)) -> rule2))] @5: Erin is green.[(((((((((((triple10) -> rule5)) -> rule1) ((triple10) -> rule5)) -> rule9) ((triple10) -> rule5)) -> rule2)) -> rule6) OR ((((((((((triple10) -> rule5)) -> rule7) ((triple10) -> rule5)) -> rule9) ((triple10) -> rule5)) -> rule2)) -> rule6))]