Charlie is green. Charlie is quiet. Charlie is smart. Dave is big. Dave is green. Dave is nice. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is smart. If Dave is red and Dave is quiet then Dave is rough. If Charlie is big and Charlie is rough then Charlie is red. If Fiona is nice then Fiona is red.
Fiona is smart.
@0: Charlie is green.[(triple1)] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Dave is big.[(triple4)] Dave is green.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9 OR ((triple8 triple7) -> rule1))] Dave is smart.[(triple10)] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12)] Fiona is red.[(triple13 OR ((triple11) -> rule3))] Fiona is rough.[(triple14)] Fiona is smart.[(triple15)]