Bob is furry. Bob is red. Erin is quiet. Erin is round. Fiona is big. Gary is furry. Gary is quiet. All kind, furry things are big. If something is kind and big then it is round. If something is big then it is red. Quiet things are big. All kind, quiet things are red. If something is smart then it is kind.
Bob is not furry.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Erin is quiet.[(triple3)] Erin is round.[(triple4)] Fiona is big.[(triple5)] Gary is furry.[(triple6)] Gary is quiet.[(triple7)] @1: Erin is big.[(((triple3) -> rule4))] Fiona is red.[(((triple5) -> rule3))] Gary is big.[(((triple7) -> rule4))] @2: Erin is red.[(((((triple3) -> rule4)) -> rule3))] Gary is red.[(((((triple7) -> rule4)) -> rule3))]