Anne is big. Anne is kind. Anne is quiet. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is big. Bob is kind. Bob is quiet. Bob is round. Bob is smart. Bob is white. Bob is young. If Anne is round and Anne is kind then Anne is big.
Anne is round.
@0: Anne is big.[(triple1 OR ((triple4 triple2) -> rule1))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is kind.[(triple9)] Bob is quiet.[(triple10)] Bob is round.[(triple11)] Bob is smart.[(triple12)] Bob is white.[(triple13)] Bob is young.[(triple14)]