Bob is big. Bob is quiet. Bob is red. Fiona is not quiet. Fiona is round. Fiona is smart. Fiona is young. All big people are young. All red, kind people are smart. If someone is red then they are kind.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Fiona is not quiet.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)] @1: Bob is kind.[(((triple3) -> rule3))] Bob is young.[(((triple1) -> rule1))] @2: Bob is smart.[(((triple3 ((triple3) -> rule3)) -> rule2))]