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