Anne is big. Anne is furry. Anne is green. Anne is red. Anne is round. Anne is young. Bob is furry. Bob is young. Dave is green. Dave is red. Dave is round. Dave is young. Erin is furry. Erin is kind. Erin is red. Erin is round. If Anne is furry then Anne is young. All green, round things are kind.
Dave is green.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is red.[(triple4)] Anne is round.[(triple5)] Anne is young.[(triple6 OR ((triple2) -> rule1))] Bob is furry.[(triple7)] Bob is young.[(triple8)] Dave is green.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)] Dave is young.[(triple12)] Erin is furry.[(triple13)] Erin is kind.[(triple14)] Erin is red.[(triple15)] Erin is round.[(triple16)] @1: Anne is kind.[(((triple3 triple5) -> rule2))] Dave is kind.[(((triple9 triple11) -> rule2))]