Erin is big. Erin is not green. Erin is kind. Erin is not nice. Erin is not red. Erin is round. Erin is white. Fiona is green. Fiona is kind. Fiona is not red. Fiona is not round. Harry is kind. Harry is nice. Harry is not round. Harry is not white. If Fiona is green then Fiona is nice. Green things are kind. If something is red and not green then it is big. All white things are not red. If something is big then it is not red. If something is green and not nice then it is white.
Fiona is big.
@0: Erin is big.[(triple1)] Erin is kind.[(triple3)] Erin is not green.[(triple2)] Erin is not nice.[(triple4)] Erin is not red.[(triple5 OR ((triple1) -> rule5) OR ((triple7) -> rule4))] Erin is round.[(triple6)] Erin is white.[(triple7)] Fiona is green.[(triple8)] Fiona is kind.[(triple9 OR ((triple8) -> rule2))] Fiona is not red.[(triple10)] Fiona is not round.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is not round.[(triple14)] Harry is not white.[(triple15)] @1: Fiona is nice.[(((triple8) -> rule1))]