Anne is cold. Anne is green. Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is white. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. If someone is kind then they are red. Kind, red people are quiet. All green people are quiet.
Fiona is green.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5 OR ((triple2) -> rule3) OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2))] Anne is red.[(triple6 OR ((triple3) -> rule1))] Anne is white.[(triple7)] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10 OR ((triple9 triple11) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2))] Fiona is red.[(triple11 OR ((triple9) -> rule1))] Fiona is white.[(triple12)]