Bob is smart. Charlie is blue. Charlie is smart. If Bob is furry then Bob is cold. If Bob is furry then Bob is kind. All smart people are furry. Big people are kind. If someone is cold and not smart then they are kind. All smart, cold people are white. Kind, cold people are white. If someone is smart and not cold then they are not white.
Charlie is not big.
@0: Bob is smart.[(triple1)] Charlie is blue.[(triple2)] Charlie is smart.[(triple3)] @1: Bob is furry.[(((triple1) -> rule3))] Charlie is furry.[(((triple3) -> rule3))] @2: Bob is cold.[(((((triple1) -> rule3)) -> rule1))] Bob is kind.[(((((triple1) -> rule3)) -> rule2))] @3: Bob is white.[(((triple1 ((((triple1) -> rule3)) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule2) ((((triple1) -> rule3)) -> rule1)) -> rule7))]