Anne is big. Anne is blue. Anne is quiet. Anne is red. Charlie is red. Dave is big. Dave is blue. Dave is quiet. Gary is green. Gary is quiet. All blue, kind people are quiet. All blue people are kind.
Anne is rough.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3 OR ((triple2 ((triple2) -> rule2)) -> rule1))] Anne is red.[(triple4)] Charlie is red.[(triple5)] Dave is big.[(triple6)] Dave is blue.[(triple7)] Dave is quiet.[(triple8 OR ((triple7 ((triple7) -> rule2)) -> rule1))] Gary is green.[(triple9)] Gary is quiet.[(triple10)] @1: Anne is kind.[(((triple2) -> rule2))] Dave is kind.[(((triple7) -> rule2))]