Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is smart. Anne is young. Bob is big. Bob is green. Bob is young. Erin is big. Erin is furry. Erin is green. Erin is kind. Erin is red. Erin is smart. Erin is young. Young things are big. If something is big and not green then it is young.
Bob is not young.
@0: Anne is big.[(triple1 OR ((triple6) -> rule1))] Anne is furry.[(triple2)] Anne is green.[(triple3)] Anne is kind.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7 OR ((triple9) -> rule1))] Bob is green.[(triple8)] Bob is young.[(triple9)] Erin is big.[(triple10 OR ((triple16) -> rule1))] Erin is furry.[(triple11)] Erin is green.[(triple12)] Erin is kind.[(triple13)] Erin is red.[(triple14)] Erin is smart.[(triple15)] Erin is young.[(triple16)]