Erin is big. Erin is blue. Erin is not furry. Erin is kind. Erin is red. Erin is not rough. Erin is white. If someone is blue then they are kind. All blue people are kind. Blue people are white. All kind people are not furry. All red, white people are not furry. If Erin is furry and Erin is big then Erin is kind. If Erin is white and Erin is furry then Erin is kind. If someone is white and not kind then they are not rough.
Erin is big.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple4 OR ((triple2) -> rule1) OR ((triple2) -> rule2))] Erin is not furry.[(triple3 OR ((triple4) -> rule4) OR ((triple5 triple7) -> rule5) OR ((((triple2) -> rule1)) -> rule4) OR ((((triple2) -> rule2)) -> rule4) OR ((triple5 ((triple2) -> rule3)) -> rule5))] Erin is not rough.[(triple6)] Erin is red.[(triple5)] Erin is white.[(triple7 OR ((triple2) -> rule3))]