Anne is big. Anne is blue. Anne is cold. Anne is kind. Anne is nice. Anne is rough. Anne is round. If someone is blue and kind then they are rough. If someone is blue and not kind then they are rough. If someone is blue then they are round. If someone is rough then they are big. If Anne is cold and Anne is not rough then Anne is not round. Big people are nice. Round, kind people are nice. Cold people are nice.
Anne is cold.
@0: Anne is big.[(triple1 OR ((triple6) -> rule4) OR ((((triple2 triple4) -> rule1)) -> rule4))] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Anne is nice.[(triple5 OR ((triple1) -> rule6) OR ((triple3) -> rule8) OR ((triple7 triple4) -> rule7) OR ((((triple6) -> rule4)) -> rule6) OR ((((triple2) -> rule3) triple4) -> rule7) OR ((((((triple2 triple4) -> rule1)) -> rule4)) -> rule6))] Anne is rough.[(triple6 OR ((triple2 triple4) -> rule1))] Anne is round.[(triple7 OR ((triple2) -> rule3))]