Dave is big. Dave is kind. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is white. Fiona is big. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. If Fiona is big and Fiona is kind then Fiona is white. All nice things are kind.
Dave is not nice.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule2))] Dave is nice.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is white.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9 OR ((triple10) -> rule2))] Fiona is nice.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is white.[(triple14 OR ((triple8 triple9) -> rule1) OR ((triple8 ((triple10) -> rule2)) -> rule1))]