Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is young. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is young. If Anne is kind and Anne is red then Anne is furry.
Anne is red.
@0: Anne is furry.[(triple1 OR ((triple3 triple5) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is red.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14)]