Anne is quiet. Anne is round. Erin is rough. Furry people are round. Young people are smart. All round, young people are furry. If Erin is round then Erin is smart. If Erin is green then Erin is smart. All round people are young. If someone is smart and furry then they are quiet. All round, smart people are quiet.
Anne is quiet.
@0: Anne is quiet.[(triple1 OR ((triple2 ((((triple2) -> rule6)) -> rule2)) -> rule8) OR ((((((triple2) -> rule6)) -> rule2) ((triple2 ((triple2) -> rule6)) -> rule3)) -> rule7))] Anne is round.[(triple2)] Erin is rough.[(triple3)] @1: Anne is young.[(((triple2) -> rule6))] @2: Anne is furry.[(((triple2 ((triple2) -> rule6)) -> rule3))] Anne is smart.[(((((triple2) -> rule6)) -> rule2))]