Dave is blue. Dave is kind. Dave is nice. Dave is white. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is white. Kind, quiet things are red. If something is quiet then it is not white. If Dave is blue and Dave is white then Dave is not red. All red, nice things are blue. All nice things are kind. If something is white then it is kind. If something is white and not big then it is nice. If Erin is not white and Erin is not big then Erin is not blue.
Dave is not quiet.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule6))] Dave is nice.[(triple3)] Dave is white.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6 OR ((triple9 triple8) -> rule4))] Erin is kind.[(triple7 OR ((triple10) -> rule6) OR ((triple8) -> rule5))] Erin is nice.[(triple8)] Erin is red.[(triple9)] Erin is white.[(triple10)] @1: Dave is not red.[(((triple1 triple4) -> rule3))]