Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is round. Nice, kind people are round. Kind people are furry. Cold people are nice. If someone is red then they are nice. If someone is furry and cold then they are kind. If someone is nice and kind then they are quiet.
Erin is furry.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2 OR ((triple3) -> rule2))] Erin is kind.[(triple3 OR ((triple2 triple1) -> rule5))] Erin is nice.[(triple4 OR ((triple1) -> rule3) OR ((triple6) -> rule4))] Erin is quiet.[(triple5 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple2 triple1) -> rule5)) -> rule6) OR ((((triple1) -> rule3) triple3) -> rule6) OR ((((triple6) -> rule4) triple3) -> rule6) OR ((((triple1) -> rule3) ((triple2 triple1) -> rule5)) -> rule6) OR ((((triple6) -> rule4) ((triple2 triple1) -> rule5)) -> rule6))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple2 triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule3) triple3) -> rule1) OR ((((triple6) -> rule4) triple3) -> rule1) OR ((((triple1) -> rule3) ((triple2 triple1) -> rule5)) -> rule1) OR ((((triple6) -> rule4) ((triple2 triple1) -> rule5)) -> rule1))]