Anne is smart. Bob is red. Bob is round. Bob is smart. Bob is young. Erin is red. Fiona is young. If Anne is smart then Anne is red. If someone is green and smart then they are furry. If someone is green then they are round. If someone is red and big then they are round. Round people are smart. Green people are red.
Bob is big.
@0: Anne is smart.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4 OR ((triple3) -> rule5))] Bob is young.[(triple5)] Erin is red.[(triple6)] Fiona is young.[(triple7)] @1: Anne is red.[(((triple1) -> rule1))]