Bob is round. Dave is young. Erin is nice. Erin is round. Harry is big. Harry is round. Harry is young. If something is red then it is young. Big, round things are nice. All young, nice things are kind. If something is kind then it is nice. All red, big things are round. If Erin is nice and Erin is big then Erin is kind.
Bob is red.
@0: Bob is round.[(triple1)] Dave is young.[(triple2)] Erin is nice.[(triple3)] Erin is round.[(triple4)] Harry is big.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7)] @1: Harry is nice.[(((triple5 triple6) -> rule2))] @2: Harry is kind.[(((triple7 ((triple5 triple6) -> rule2)) -> rule3))]