Bob is red. Erin is white. Fiona is kind. If Bob is young and Bob is red then Bob is nice. All young things are white. All blue things are red. White things are young. If something is red and big then it is young. If something is nice and white then it is young. Kind things are young. All red things are kind.
Bob is not young.
@0: Bob is red.[(triple1)] Erin is white.[(triple2)] Fiona is kind.[(triple3)] @1: Bob is kind.[(((triple1) -> rule8))] Erin is young.[(((triple2) -> rule4))] Fiona is young.[(((triple3) -> rule7))] @2: Bob is young.[(((((triple1) -> rule8)) -> rule7))] Fiona is white.[(((((triple3) -> rule7)) -> rule2))] @3: Bob is nice.[(((((((triple1) -> rule8)) -> rule7) triple1) -> rule1))] Bob is white.[(((((((triple1) -> rule8)) -> rule7)) -> rule2))]