Erin is blue. Erin is not furry. Erin is green. Erin is kind. Erin is not round. Fiona is not blue. Fiona is nice. Harry is not big. Harry is furry. Harry is not kind. Harry is nice. Harry is round. Green people are big. If Fiona is big then Fiona is kind. If someone is nice and not blue then they are green. If Harry is not kind then Harry is round. If someone is blue and not kind then they are not round. If Erin is kind and Erin is not green then Erin is round.
Harry is blue.
@0: Erin is blue.[(triple1)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is not furry.[(triple2)] Erin is not round.[(triple5)] Fiona is nice.[(triple7)] Fiona is not blue.[(triple6)] Harry is furry.[(triple9)] Harry is nice.[(triple11)] Harry is not big.[(triple8)] Harry is not kind.[(triple10)] Harry is round.[(triple12 OR ((triple10) -> rule4))] @1: Erin is big.[(((triple3) -> rule1))] Fiona is green.[(((triple7 triple6) -> rule3))] @2: Fiona is big.[(((((triple7 triple6) -> rule3)) -> rule1))] @3: Fiona is kind.[(((((((triple7 triple6) -> rule3)) -> rule1)) -> rule2))]