Bob is furry. Bob is nice. Erin is big. Erin is furry. Erin is green. Erin is red. Harry is big. Harry is furry. Harry is not nice. Harry is not quiet. If Bob is quiet then Bob is big. Kind, red people are nice. If someone is quiet and not green then they are kind. All red people are kind. All nice people are quiet. All furry, green people are big.
Erin is not quiet.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Erin is big.[(triple3 OR ((triple4 triple5) -> rule6))] Erin is furry.[(triple4)] Erin is green.[(triple5)] Erin is red.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is not nice.[(triple9)] Harry is not quiet.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule5))] Erin is kind.[(((triple6) -> rule4))] @2: Bob is big.[(((((triple2) -> rule5)) -> rule1))] Erin is nice.[(((((triple6) -> rule4) triple6) -> rule2))] @3: Erin is quiet.[(((((((triple6) -> rule4) triple6) -> rule2)) -> rule5))]