Dave is big. Dave is cold. Dave is not furry. Dave is nice. Dave is round. Dave is smart. Erin is kind. Fiona is cold. Fiona is kind. Fiona is not nice. If Dave is furry then Dave is big. Furry things are kind. If something is cold and nice then it is smart. All round, kind things are smart. Round things are nice. If something is big and not kind then it is nice. If something is furry then it is not nice. If something is nice then it is round.
Erin is big.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple4 OR ((triple5) -> rule5))] Dave is not furry.[(triple3)] Dave is round.[(triple5 OR ((triple4) -> rule8))] Dave is smart.[(triple6 OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple5) -> rule5)) -> rule3))] Erin is kind.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is not nice.[(triple10)]