Bob is blue. Bob is furry. Bob is red. Bob is white. Charlie is kind. Charlie is red. Fiona is furry. Fiona is red. Harry is not big. Harry is not smart. If Charlie is not kind then Charlie is not red. White people are smart. If someone is big and kind then they are not furry. If someone is white then they are red. Big people are white. If someone is blue and white then they are big.
Bob is not blue.
@0: Bob is blue.[(triple1)] Bob is furry.[(triple2)] Bob is red.[(triple3 OR ((triple4) -> rule4))] Bob is white.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Fiona is furry.[(triple7)] Fiona is red.[(triple8)] Harry is not big.[(triple9)] Harry is not smart.[(triple10)] @1: Bob is big.[(((triple1 triple4) -> rule6))] Bob is smart.[(((triple4) -> rule2))]