Bob is big. Bob is furry. Bob is kind. Bob is nice. Erin is kind. Erin is quiet. Erin is smart. All big, quiet people are nice. If someone is kind then they are green. If someone is green then they are big.
Erin is furry.
@0: Bob is big.[(triple1 OR ((((triple3) -> rule2)) -> rule3))] Bob is furry.[(triple2)] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Erin is kind.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)] @1: Bob is green.[(((triple3) -> rule2))] Erin is green.[(((triple5) -> rule2))] @2: Erin is big.[(((((triple5) -> rule2)) -> rule3))] @3: Erin is nice.[(((((((triple5) -> rule2)) -> rule3) triple6) -> rule1))]