Anne is smart. Dave is round. Erin is furry. All blue things are not furry. All round things are blue. If something is round then it is blue. Furry, smart things are quiet. If something is quiet and not blue then it is red. If Anne is round and Anne is not furry then Anne is young. If something is blue and not furry then it is smart. All red things are young.
Erin is round.
@0: Anne is smart.[(triple1)] Dave is round.[(triple2)] Erin is furry.[(triple3)] @1: Dave is blue.[(((triple2) -> rule2) OR ((triple2) -> rule3))] @2: Dave is not furry.[(((((triple2) -> rule2)) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] @3: Dave is smart.[(((((triple2) -> rule2) ((((triple2) -> rule2)) -> rule1)) -> rule7) OR ((((triple2) -> rule2) ((((triple2) -> rule3)) -> rule1)) -> rule7) OR ((((triple2) -> rule3) ((((triple2) -> rule2)) -> rule1)) -> rule7) OR ((((triple2) -> rule3) ((((triple2) -> rule3)) -> rule1)) -> rule7))]