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