Dave is big. Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is round. Fiona is big. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Gary is big. Gary is green. Gary is nice. Gary is smart. Blue people are nice. All round, nice people are big.
Dave is not furry.
@0: Dave is big.[(triple1 OR ((triple6 triple5) -> rule2) OR ((triple6 ((triple2) -> rule1)) -> rule2))] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is green.[(triple4)] Dave is nice.[(triple5 OR ((triple2) -> rule1))] Dave is round.[(triple6)] Fiona is big.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Gary is big.[(triple12)] Gary is green.[(triple13)] Gary is nice.[(triple14)] Gary is smart.[(triple15)]