Bob is not kind. Bob is smart. Dave is not blue. Dave is cold. Dave is kind. Dave is not red. Dave is smart. Dave is white. Fiona is kind. Fiona is smart. Fiona is white. Harry is red. If someone is red then they are kind. If Harry is kind then Harry is blue. If Harry is kind and Harry is not red then Harry is not blue. If Fiona is not kind then Fiona is blue. All young people are smart. All red, blue people are smart. If Harry is young and Harry is smart then Harry is white. If someone is smart and blue then they are young. If someone is blue and not red then they are young.
Bob is red.
@0: Bob is not kind.[(triple1)] Bob is smart.[(triple2)] Dave is cold.[(triple4)] Dave is kind.[(triple5)] Dave is not blue.[(triple3)] Dave is not red.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] Fiona is white.[(triple11)] Harry is red.[(triple12)] @1: Harry is kind.[(((triple12) -> rule1))] @2: Harry is blue.[(((((triple12) -> rule1)) -> rule2))] @3: Harry is smart.[(((triple12 ((((triple12) -> rule1)) -> rule2)) -> rule6))] @4: Harry is young.[(((((triple12 ((((triple12) -> rule1)) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule8))] @5: Harry is white.[(((((((triple12 ((((triple12) -> rule1)) -> rule2)) -> rule6) ((((triple12) -> rule1)) -> rule2)) -> rule8) ((triple12 ((((triple12) -> rule1)) -> rule2)) -> rule6)) -> rule7))]