Dave is big. Dave is kind. Erin is big. Erin is cold. Erin is red. Erin is round. Erin is young. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is red. Fiona is young. Harry is kind. Harry is not nice. Harry is round. All cold people are big. All cold people are kind. If someone is cold and not young then they are kind. All cold people are red. If Dave is not round then Dave is red. If Dave is round and Dave is not red then Dave is big.
Harry is nice.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Erin is big.[(triple3 OR ((triple4) -> rule1))] Erin is cold.[(triple4)] Erin is red.[(triple5 OR ((triple4) -> rule4))] Erin is round.[(triple6)] Erin is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9 OR ((triple8) -> rule2))] Fiona is nice.[(triple10)] Fiona is red.[(triple11 OR ((triple8) -> rule4))] Fiona is young.[(triple12)] Harry is kind.[(triple13)] Harry is not nice.[(triple14)] Harry is round.[(triple15)] @1: Erin is kind.[(((triple4) -> rule2))] Fiona is big.[(((triple8) -> rule1))]