Anne is blue. Anne is kind. Anne is nice. Anne is red. Bob is kind. Bob is nice. Bob is quiet. Bob is not red. Bob is round. Bob is white. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. If someone is kind and white then they are round. White people are quiet. If someone is kind then they are blue. If Fiona is round and Fiona is not white then Fiona is nice. If Fiona is round and Fiona is not blue then Fiona is nice. If someone is quiet and not blue then they are not nice. If someone is red and not white then they are nice. All round people are nice.
Anne is white.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Bob is kind.[(triple5)] Bob is nice.[(triple6 OR ((triple9) -> rule8) OR ((((triple5 triple10) -> rule1)) -> rule8))] Bob is not red.[(triple8)] Bob is quiet.[(triple7 OR ((triple10) -> rule2))] Bob is round.[(triple9 OR ((triple5 triple10) -> rule1))] Bob is white.[(triple10)] Fiona is blue.[(triple11 OR ((triple12) -> rule3))] Fiona is kind.[(triple12)] Fiona is nice.[(triple13 OR ((triple15) -> rule8) OR ((((triple12 triple16) -> rule1)) -> rule8))] Fiona is red.[(triple14)] Fiona is round.[(triple15 OR ((triple12 triple16) -> rule1))] Fiona is white.[(triple16)] @1: Bob is blue.[(((triple5) -> rule3))] Fiona is quiet.[(((triple16) -> rule2))]