Dave is big. Dave is not cold. Dave is green. Dave is white. Erin is big. Erin is kind. Fiona is not cold. Fiona is smart. Fiona is not white. Harry is big. Harry is kind. Harry is round. All big people are kind. All smart, cold people are kind. If someone is big and not green then they are not smart. If Harry is not big and Harry is not kind then Harry is round. If someone is smart and not kind then they are round. If Harry is round then Harry is white. If someone is round and not kind then they are white. If someone is smart then they are not white.
Erin is smart.
@0: Dave is big.[(triple1)] Dave is green.[(triple3)] Dave is not cold.[(triple2)] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is kind.[(triple6 OR ((triple5) -> rule1))] Fiona is not cold.[(triple7)] Fiona is not white.[(triple9 OR ((triple8) -> rule8))] Fiona is smart.[(triple8)] Harry is big.[(triple10)] Harry is kind.[(triple11 OR ((triple10) -> rule1))] Harry is round.[(triple12)] @1: Dave is kind.[(((triple1) -> rule1))] Harry is white.[(((triple12) -> rule6))]