Bob is big. Bob is smart. Bob is white. Bob is young. Erin is furry. Erin is kind. Erin is white. Erin is young. Harry is not kind. Harry is white. If Bob is young then Bob is furry. If Erin is quiet then Erin is smart. All big, white people are furry.
Bob is not white.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Erin is furry.[(triple5)] Erin is kind.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Harry is not kind.[(triple9)] Harry is white.[(triple10)] @1: Bob is furry.[(((triple4) -> rule1) OR ((triple1 triple3) -> rule3))]