Anne is not blue. Anne is furry. Anne is red. Anne is round. Bob is blue. Bob is cold. Fiona is blue. Fiona is not cold. Fiona is red. Fiona is rough. Harry is furry. Harry is nice. All nice people are furry. If someone is cold and blue then they are rough. If someone is rough then they are nice. Nice people are round. If someone is blue and not nice then they are round. If Fiona is cold and Fiona is not rough then Fiona is red.
Anne is not nice.
@0: Anne is furry.[(triple2)] Anne is not blue.[(triple1)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is blue.[(triple5)] Bob is cold.[(triple6)] Fiona is blue.[(triple7)] Fiona is not cold.[(triple8)] Fiona is red.[(triple9)] Fiona is rough.[(triple10)] Harry is furry.[(triple11 OR ((triple12) -> rule1))] Harry is nice.[(triple12)] @1: Bob is rough.[(((triple6 triple5) -> rule2))] Fiona is nice.[(((triple10) -> rule3))] Harry is round.[(((triple12) -> rule4))] @2: Bob is nice.[(((((triple6 triple5) -> rule2)) -> rule3))] Fiona is furry.[(((((triple10) -> rule3)) -> rule1))] Fiona is round.[(((((triple10) -> rule3)) -> rule4))] @3: Bob is furry.[(((((((triple6 triple5) -> rule2)) -> rule3)) -> rule1))] Bob is round.[(((((((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]