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