Anne is big. Anne is cold. Anne is nice. Anne is red. Anne is rough. Dave is big. Dave is cold. Dave is nice. Dave is quiet. Dave is rough. If Dave is red and Dave is nice then Dave is big. If someone is nice then they are kind.
Dave is big.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Dave is big.[(triple6)] Dave is cold.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is rough.[(triple10)] @1: Anne is kind.[(((triple3) -> rule2))] Dave is kind.[(((triple8) -> rule2))]