Bob is red. Dave is big. Erin is round. Gary is kind. All red people are young. All kind people are big. If someone is round and not quiet then they are not big. Young people are smart. Red, big people are smart. Big people are kind.
Dave is not kind.
@0: Bob is red.[(triple1)] Dave is big.[(triple2)] Erin is round.[(triple3)] Gary is kind.[(triple4)] @1: Bob is young.[(((triple1) -> rule1))] Dave is kind.[(((triple2) -> rule6))] Gary is big.[(((triple4) -> rule2))] @2: Bob is smart.[(((((triple1) -> rule1)) -> rule4))]