Dave is not big. Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is rough. Dave is not round. Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is red. Erin is rough. Erin is round. If something is cold then it is kind. Big things are kind. If Dave is round then Dave is kind. Rough things are blue. If something is big and not red then it is not rough. If Dave is round and Dave is not rough then Dave is blue.
Erin is not big.
@0: Dave is blue.[(triple2 OR ((triple6) -> rule4))] Dave is cold.[(triple3)] Dave is kind.[(triple4 OR ((triple3) -> rule1))] Dave is not big.[(triple1)] Dave is not round.[(triple7)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple13) -> rule4))] Erin is cold.[(triple10)] Erin is kind.[(triple11 OR ((triple10) -> rule1) OR ((triple8) -> rule2))] Erin is red.[(triple12)] Erin is rough.[(triple13)] Erin is round.[(triple14)]