Erin is green. Erin is nice. Erin is not round. Erin is smart. Erin is white. Fiona is not furry. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Harry is furry. Harry is nice. Harry is not round. Harry is smart. Harry is not white. Smart people are not round. If someone is nice and smart then they are green. If someone is furry and round then they are green. All furry people are green. If Fiona is green and Fiona is red then Fiona is not smart. If Harry is furry and Harry is not smart then Harry is red. If someone is red and not round then they are not white. If someone is round then they are not white.
Erin is not nice.
@0: Erin is green.[(triple1 OR ((triple2 triple4) -> rule2))] Erin is nice.[(triple2)] Erin is not round.[(triple3 OR ((triple4) -> rule1))] Erin is smart.[(triple4)] Erin is white.[(triple5)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is not furry.[(triple6)] Fiona is red.[(triple9)] Fiona is round.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is not round.[(triple13 OR ((triple14) -> rule1))] Harry is not white.[(triple15)] Harry is smart.[(triple14)] @1: Fiona is not smart.[(((triple7 triple9) -> rule5))] Fiona is not white.[(((triple10) -> rule8))] Harry is green.[(((triple11) -> rule4) OR ((triple12 triple14) -> rule2))]