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