Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is smart. Erin is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. If Fiona is kind and Fiona is round then Fiona is young. Kind things are nice. If Erin is round then Erin is kind. If something is round then it is kind. Nice things are red. If Fiona is green and Fiona is kind then Fiona is young. All kind, green things are nice. Red, nice things are green.
Fiona is not nice.
@0: Erin is green.[(triple1 OR ((triple4 triple3) -> rule8) OR ((triple4 ((triple2) -> rule2)) -> rule8) OR ((((triple3) -> rule5) triple3) -> rule8) OR ((((triple3) -> rule5) ((triple2) -> rule2)) -> rule8) OR ((triple4 ((((triple5) -> rule3)) -> rule2)) -> rule8) OR ((triple4 ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((triple2) -> rule2)) -> rule5) triple3) -> rule8) OR ((((triple3) -> rule5) ((((triple5) -> rule3)) -> rule2)) -> rule8) OR ((((triple3) -> rule5) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((triple2) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule8) OR ((((((triple2) -> rule2)) -> rule5) ((((triple5) -> rule3)) -> rule2)) -> rule8) OR ((((((triple2) -> rule2)) -> rule5) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule3)) -> rule2)) -> rule5) triple3) -> rule8) OR ((((((((triple5) -> rule4)) -> rule2)) -> rule5) triple3) -> rule8) OR ((((((((triple5) -> rule3)) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule8) OR ((((((((triple5) -> rule4)) -> rule2)) -> rule5) ((triple2) -> rule2)) -> rule8) OR ((((((((triple5) -> rule3)) -> rule2)) -> rule5) ((((triple5) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule3)) -> rule2)) -> rule5) ((((triple5) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule4)) -> rule2)) -> rule5) ((((triple5) -> rule3)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule4)) -> rule2)) -> rule5) ((((triple5) -> rule4)) -> rule2)) -> rule8))] Erin is kind.[(triple2 OR ((triple5) -> rule3) OR ((triple5) -> rule4))] Erin is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple2 triple1) -> rule7) OR ((((triple5) -> rule3)) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule3) triple1) -> rule7) OR ((((triple5) -> rule4) triple1) -> rule7))] Erin is red.[(triple4 OR ((triple3) -> rule5) OR ((((triple2) -> rule2)) -> rule5) OR ((((triple2 triple1) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule2)) -> rule5) OR ((((((triple5) -> rule4)) -> rule2)) -> rule5) OR ((((((triple5) -> rule3) triple1) -> rule7)) -> rule5) OR ((((((triple5) -> rule4) triple1) -> rule7)) -> rule5))] Erin is round.[(triple5)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Fiona is green.[(triple8 OR ((((triple10) -> rule5) triple10) -> rule8) OR ((((triple10) -> rule5) ((triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule5) triple10) -> rule8) OR ((((triple10) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule8) OR ((((((triple9) -> rule2)) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) OR ((((((((triple11) -> rule4)) -> rule2)) -> rule5) triple10) -> rule8) OR ((((((((triple11) -> rule4)) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule8) OR ((((((((triple11) -> rule4)) -> rule2)) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8))] Fiona is kind.[(triple9 OR ((triple11) -> rule4))] Fiona is nice.[(triple10 OR ((triple9) -> rule2) OR ((triple9 triple8) -> rule7) OR ((((triple11) -> rule4)) -> rule2) OR ((((triple11) -> rule4) triple8) -> rule7))] Fiona is round.[(triple11)] Fiona is smart.[(triple12)] @1: Fiona is red.[(((triple10) -> rule5) OR ((((triple9) -> rule2)) -> rule5) OR ((((triple9 triple8) -> rule7)) -> rule5) OR ((((((triple11) -> rule4)) -> rule2)) -> rule5) OR ((((((triple11) -> rule4) triple8) -> rule7)) -> rule5))] Fiona is young.[(((triple8 triple9) -> rule6) OR ((triple9 triple11) -> rule1) OR ((triple8 ((triple11) -> rule4)) -> rule6) OR ((((triple11) -> rule4) triple11) -> rule1) OR ((((((triple10) -> rule5) triple10) -> rule8) triple9) -> rule6) OR ((((((triple10) -> rule5) triple10) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((triple10) -> rule5) ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((triple10) -> rule5) ((triple9) -> rule2)) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule5) triple10) -> rule8) triple9) -> rule6) OR ((((((triple10) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((triple9) -> rule2)) -> rule5) triple10) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((triple10) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2)) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((triple9) -> rule2)) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((((triple11) -> rule4)) -> rule2)) -> rule5) triple10) -> rule8) triple9) -> rule6) OR ((((((((((triple11) -> rule4)) -> rule2)) -> rule5) triple10) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((((triple11) -> rule4)) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((((triple11) -> rule4)) -> rule2)) -> rule5) ((triple9) -> rule2)) -> rule8) ((triple11) -> rule4)) -> rule6) OR ((((((((((triple11) -> rule4)) -> rule2)) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) triple9) -> rule6) OR ((((((((((triple11) -> rule4)) -> rule2)) -> rule5) ((((triple11) -> rule4)) -> rule2)) -> rule8) ((triple11) -> rule4)) -> rule6))]