Anne is big. Anne is furry. Anne is red. Anne is rough. Anne is not round. Anne is white. Anne is young. Bob is rough. Bob is young. Erin is not furry. Erin is red. Erin is rough. Harry is rough. Harry is white. Harry is young. Red people are young. All round people are not furry. If Erin is not round then Erin is rough. Round people are rough. Furry, round people are white. All big, young people are white. If Harry is round then Harry is not young. If Bob is red and Bob is rough then Bob is furry.
Erin is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is not round.[(triple5)] Anne is red.[(triple3)] Anne is rough.[(triple4)] Anne is white.[(triple6 OR ((triple1 triple7) -> rule6) OR ((triple1 ((triple3) -> rule1)) -> rule6))] Anne is young.[(triple7 OR ((triple3) -> rule1))] Bob is rough.[(triple8)] Bob is young.[(triple9)] Erin is not furry.[(triple10)] Erin is red.[(triple11)] Erin is rough.[(triple12)] Harry is rough.[(triple13)] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Erin is young.[(((triple11) -> rule1))]