Bob is green. Bob is quiet. Bob is not white. Bob is young. Erin is kind. Erin is quiet. Erin is not white. Erin is young. Fiona is big. Fiona is green. If Erin is nice then Erin is young. White things are kind. If Bob is not young and Bob is not green then Bob is kind. If something is green and not white then it is not nice. If something is kind and nice then it is quiet. If Erin is not young then Erin is quiet.
Fiona is not green.
@0: Bob is green.[(triple1)] Bob is not white.[(triple3)] Bob is quiet.[(triple2)] Bob is young.[(triple4)] Erin is kind.[(triple5)] Erin is not white.[(triple7)] Erin is quiet.[(triple6)] Erin is young.[(triple8)] Fiona is big.[(triple9)] Fiona is green.[(triple10)] @1: Bob is not nice.[(((triple1 triple3) -> rule4))]