Anne is big. Anne is green. Anne is red. Anne is round. Anne is smart. Dave is big. Dave is green. Dave is not kind. Dave is red. Dave is not round. Dave is smart. Dave is young. Erin is big. Erin is kind. Erin is round. Erin is not smart. If Anne is young and Anne is round then Anne is not kind. If something is kind and not round then it is red. If something is young and round then it is big. All young, kind things are smart. If Anne is red then Anne is smart. If something is big and not young then it is not green.
Anne is round.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule5))] Dave is big.[(triple6)] Dave is green.[(triple7)] Dave is not kind.[(triple8)] Dave is not round.[(triple10)] Dave is red.[(triple9)] Dave is smart.[(triple11)] Dave is young.[(triple12)] Erin is big.[(triple13)] Erin is kind.[(triple14)] Erin is not smart.[(triple16)] Erin is round.[(triple15)]