Anne is big. Anne is not nice. Anne is not round. Bob is big. Bob is not blue. Bob is not round. Bob is young. Fiona is blue. Fiona is kind. Fiona is young. Young, blue people are rough. If someone is round and not blue then they are big. Kind people are not big. Big, blue people are round. If someone is young and not rough then they are kind. If someone is young and not round then they are nice.
Anne is not kind.
@0: Anne is big.[(triple1)] Anne is not nice.[(triple2)] Anne is not round.[(triple3)] Bob is big.[(triple4)] Bob is not blue.[(triple5)] Bob is not round.[(triple6)] Bob is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is young.[(triple10)] @1: Bob is nice.[(((triple7 triple6) -> rule6))] Fiona is not big.[(((triple9) -> rule3))] Fiona is rough.[(((triple10 triple8) -> rule1))]