Anne is cold. Anne is green. Anne is rough. Anne is round. Anne is white. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is white. Fiona is kind. Fiona is red. Fiona is rough. Fiona is round. If Fiona is white and Fiona is not round then Fiona is red. If Dave is kind and Dave is not cold then Dave is white. If someone is cold and not white then they are green. All white people are green. If someone is red and not green then they are rough. If someone is green and not white then they are rough. If someone is cold and green then they are red. If someone is round and rough then they are red.
Dave is round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple5) -> rule4))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Dave is cold.[(triple6)] Dave is green.[(triple7 OR ((triple11) -> rule4))] Dave is kind.[(triple8)] Dave is red.[(triple9 OR ((triple6 triple7) -> rule7) OR ((triple6 ((triple11) -> rule4)) -> rule7))] Dave is rough.[(triple10)] Dave is white.[(triple11)] Fiona is kind.[(triple12)] Fiona is red.[(triple13 OR ((triple15 triple14) -> rule8))] Fiona is rough.[(triple14)] Fiona is round.[(triple15)] @1: Anne is red.[(((triple1 triple2) -> rule7) OR ((triple4 triple3) -> rule8) OR ((triple1 ((triple5) -> rule4)) -> rule7))]