Anne is round. Bob is red. Dave is young. Erin is round. If someone is kind then they are round. If Bob is kind and Bob is round then Bob is big. If someone is big and white then they are kind. If someone is big then they are round. All red people are kind. If someone is kind then they are young.
Dave is not round.
@0: Anne is round.[(triple1)] Bob is red.[(triple2)] Dave is young.[(triple3)] Erin is round.[(triple4)] @1: Bob is kind.[(((triple2) -> rule5))] @2: Bob is round.[(((((triple2) -> rule5)) -> rule1))] Bob is young.[(((((triple2) -> rule5)) -> rule6))] @3: Bob is big.[(((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule1)) -> rule2))]