Erin is furry. Erin is kind. Erin is young. Smart people are green. All kind people are big. If someone is kind and big then they are furry. If Erin is kind and Erin is green then Erin is nice. All young people are smart. All green, smart people are big.
Erin is not nice.
@0: Erin is furry.[(triple1 OR ((triple2 ((triple2) -> rule2)) -> rule3) OR ((triple2 ((((((triple3) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule6)) -> rule3))] Erin is kind.[(triple2)] Erin is young.[(triple3)] @1: Erin is big.[(((triple2) -> rule2) OR ((((((triple3) -> rule5)) -> rule1) ((triple3) -> rule5)) -> rule6))] Erin is smart.[(((triple3) -> rule5))] @2: Erin is green.[(((((triple3) -> rule5)) -> rule1))] @3: Erin is nice.[(((triple2 ((((triple3) -> rule5)) -> rule1)) -> rule4))]