Bob is big. Bob is furry. Bob is kind. Bob is rough. Bob is young. Erin is furry. Erin is rough. Fiona is kind. Fiona is red. Fiona is rough. Fiona is white. Harry is big. Harry is red. Harry is rough. Harry is white. All kind people are rough. Red people are furry. All furry people are big. All kind people are rough. White, rough people are red. If Erin is big then Erin is rough.
Erin is rough.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is rough.[(triple4 OR ((triple3) -> rule1) OR ((triple3) -> rule4))] Bob is young.[(triple5)] Erin is furry.[(triple6)] Erin is rough.[(triple7 OR ((((triple6) -> rule3)) -> rule6))] Fiona is kind.[(triple8)] Fiona is red.[(triple9 OR ((triple11 triple10) -> rule5) OR ((triple11 ((triple8) -> rule1)) -> rule5) OR ((triple11 ((triple8) -> rule4)) -> rule5))] Fiona is rough.[(triple10 OR ((triple8) -> rule1) OR ((triple8) -> rule4))] Fiona is white.[(triple11)] Harry is big.[(triple12 OR ((((triple13) -> rule2)) -> rule3) OR ((((((triple15 triple14) -> rule5)) -> rule2)) -> rule3))] Harry is red.[(triple13 OR ((triple15 triple14) -> rule5))] Harry is rough.[(triple14)] Harry is white.[(triple15)] @1: Erin is big.[(((triple6) -> rule3))] Fiona is furry.[(((triple9) -> rule2) OR ((((triple11 triple10) -> rule5)) -> rule2) OR ((((triple11 ((triple8) -> rule1)) -> rule5)) -> rule2) OR ((((triple11 ((triple8) -> rule4)) -> rule5)) -> rule2))] Harry is furry.[(((triple13) -> rule2) OR ((((triple15 triple14) -> rule5)) -> rule2))] @2: Fiona is big.[(((((triple9) -> rule2)) -> rule3) OR ((((((triple11 triple10) -> rule5)) -> rule2)) -> rule3) OR ((((((triple11 ((triple8) -> rule1)) -> rule5)) -> rule2)) -> rule3) OR ((((((triple11 ((triple8) -> rule4)) -> rule5)) -> rule2)) -> rule3))]