Bob is green. Bob is not white. Erin is not big. Erin is green. Erin is not kind. Erin is nice. Erin is quiet. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. Gary is not green. Gary is not kind. Gary is quiet. Gary is white. If Bob is quiet then Bob is not big. Green, kind things are not red. Kind things are red. If something is kind then it is big. All red, white things are not big. Kind things are big. If Erin is green then Erin is red. If something is red and white then it is green.
Bob is not big.
@0: Bob is green.[(triple1)] Bob is not white.[(triple2)] Erin is green.[(triple4)] Erin is nice.[(triple6)] Erin is not big.[(triple3)] Erin is not kind.[(triple5)] Erin is quiet.[(triple7)] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is white.[(triple11)] Gary is not green.[(triple12)] Gary is not kind.[(triple13)] Gary is quiet.[(triple14)] Gary is white.[(triple15)] @1: Erin is red.[(((triple4) -> rule7))]