Anne is big. Anne is cold. Anne is nice. Anne is quiet. Anne is young. Bob is kind. Bob is nice. Bob is young. Charlie is quiet. Harry is cold. Harry is kind. Harry is nice. Green people are kind. Kind people are nice.
Charlie is not nice.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Bob is kind.[(triple6)] Bob is nice.[(triple7 OR ((triple6) -> rule2))] Bob is young.[(triple8)] Charlie is quiet.[(triple9)] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is nice.[(triple12 OR ((triple11) -> rule2))]