Bob is furry. Dave is big. Erin is green. Fiona is green. All kind people are furry. If someone is green then they are big. If someone is green then they are kind. If Erin is nice and Erin is rough then Erin is green. If someone is kind then they are nice. If Bob is kind and Bob is nice then Bob is green.
Fiona is not kind.
@0: Bob is furry.[(triple1)] Dave is big.[(triple2)] Erin is green.[(triple3)] Fiona is green.[(triple4)] @1: Erin is big.[(((triple3) -> rule2))] Erin is kind.[(((triple3) -> rule3))] Fiona is big.[(((triple4) -> rule2))] Fiona is kind.[(((triple4) -> rule3))] @2: Erin is furry.[(((((triple3) -> rule3)) -> rule1))] Erin is nice.[(((((triple3) -> rule3)) -> rule5))] Fiona is furry.[(((((triple4) -> rule3)) -> rule1))] Fiona is nice.[(((((triple4) -> rule3)) -> rule5))]