Bob is kind. Bob is not nice. Bob is not round. Bob is smart. Erin is not green. Erin is nice. Fiona is smart. All young things are cold. Cold things are green. If something is kind and not smart then it is green. If Erin is round and Erin is nice then Erin is not green. All kind things are young. If Bob is not young and Bob is not cold then Bob is round.
Bob is young.
@0: Bob is kind.[(triple1)] Bob is not nice.[(triple2)] Bob is not round.[(triple3)] Bob is smart.[(triple4)] Erin is nice.[(triple6)] Erin is not green.[(triple5)] Fiona is smart.[(triple7)] @1: Bob is young.[(((triple1) -> rule5))] @2: Bob is cold.[(((((triple1) -> rule5)) -> rule1))] @3: Bob is green.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))]