Bob is blue. Bob is cold. Bob is not white. Charlie is big. Charlie is green. Dave is nice. Dave is not white. Fiona is not blue. Fiona is cold. Fiona is not nice. All quiet, big people are nice. If Fiona is white and Fiona is not cold then Fiona is nice. If Charlie is big then Charlie is nice. All quiet, nice people are not big. All blue people are big. If someone is big and white then they are not green.
Fiona is quiet.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is not white.[(triple3)] Charlie is big.[(triple4)] Charlie is green.[(triple5)] Dave is nice.[(triple6)] Dave is not white.[(triple7)] Fiona is cold.[(triple9)] Fiona is not blue.[(triple8)] Fiona is not nice.[(triple10)] @1: Bob is big.[(((triple1) -> rule5))] Charlie is nice.[(((triple4) -> rule3))]