Bob is green. Bob is not nice. Bob is quiet. Bob is red. Bob is rough. Bob is white. Erin is nice. Erin is red. Erin is smart. Gary is quiet. Gary is not red. Gary is smart. If something is red then it is green. If Erin is green then Erin is red. If something is quiet and not red then it is nice.
Gary is not red.
@0: Bob is green.[(triple1 OR ((triple4) -> rule1))] Bob is not nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is rough.[(triple5)] Bob is white.[(triple6)] Erin is nice.[(triple7)] Erin is red.[(triple8)] Erin is smart.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Gary is smart.[(triple12)] @1: Erin is green.[(((triple8) -> rule1))] Gary is nice.[(((triple10 triple11) -> rule3))]