Bob is green. Bob is quiet. Dave is green. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Dave is round. Erin is not blue. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Erin is not round. If someone is green then they are not blue. If someone is rough and kind then they are not blue. If Bob is rough and Bob is round then Bob is not nice. Kind, quiet people are rough. If someone is nice and not quiet then they are kind. If Bob is blue then Bob is round.
Erin is blue.
@0: Bob is green.[(triple1)] Bob is quiet.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7 OR ((triple4 triple6) -> rule4))] Dave is round.[(triple8)] Erin is green.[(triple10)] Erin is kind.[(triple11)] Erin is nice.[(triple12)] Erin is not blue.[(triple9 OR ((triple10) -> rule1) OR ((triple14 triple11) -> rule2) OR ((((triple11 triple13) -> rule4) triple11) -> rule2))] Erin is not round.[(triple15)] Erin is quiet.[(triple13)] Erin is rough.[(triple14 OR ((triple11 triple13) -> rule4))] @1: Bob is not blue.[(((triple1) -> rule1))] Dave is not blue.[(((triple3) -> rule1) OR ((triple7 triple4) -> rule2) OR ((((triple4 triple6) -> rule4) triple4) -> rule2))]