Dave is big. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is smart. Fiona is big. Fiona is furry. Fiona is red. Fiona is rough. Fiona is round. All red, big people are kind. All smart, kind people are big.
Fiona is red.
@0: Dave is big.[(triple1 OR ((triple7 triple3) -> rule2))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple4 triple1) -> rule1))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] @1: Fiona is kind.[(((triple10 triple8) -> rule1))]