Anne is green. Anne is kind. Anne is red. Anne is round. Bob is big. Bob is green. Bob is smart. Charlie is round. Erin is quiet. Erin is red. If Bob is quiet and Bob is not big then Bob is round. If Anne is kind and Anne is round then Anne is big.
Anne is big.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Bob is big.[(triple5)] Bob is green.[(triple6)] Bob is smart.[(triple7)] Charlie is round.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] @1: Anne is big.[(((triple2 triple4) -> rule2))]