Bob is furry. Bob is kind. Bob is nice. Bob is white. Charlie is big. Charlie is kind. Charlie is white. Gary is big. Gary is kind. Harry is furry. Harry is red. Harry is round. If Bob is nice then Bob is kind. If someone is big then they are red.
Bob is not red.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2 OR ((triple3) -> rule1))] Bob is nice.[(triple3)] Bob is white.[(triple4)] Charlie is big.[(triple5)] Charlie is kind.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is kind.[(triple9)] Harry is furry.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Charlie is red.[(((triple5) -> rule2))] Gary is red.[(((triple8) -> rule2))]