Bob is furry. Erin is kind. Fiona is kind. Harry is red. Young things are big. If something is furry then it is blue. If something is blue then it is young.
Harry is not big.
@0: Bob is furry.[(triple1)] Erin is kind.[(triple2)] Fiona is kind.[(triple3)] Harry is red.[(triple4)] @1: Bob is blue.[(((triple1) -> rule2))] @2: Bob is young.[(((((triple1) -> rule2)) -> rule3))] @3: Bob is big.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]