Erin is big. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Erin is young. If someone is round then they are big. If someone is round and big then they are quiet. All quiet, round people are young. All big people are round. Big, quiet people are nice. If Erin is nice then Erin is quiet.
Erin is round.
@0: Erin is big.[(triple1 OR ((triple4) -> rule1))] Erin is nice.[(triple2 OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple4 triple1) -> rule2)) -> rule5) OR ((((triple4) -> rule1) triple3) -> rule5) OR ((((triple4) -> rule1) ((triple4 triple1) -> rule2)) -> rule5) OR ((triple1 ((triple4 ((triple4) -> rule1)) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule4) triple1) -> rule2)) -> rule5) OR ((triple1 ((((triple1) -> rule4) ((triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple4) -> rule1) ((triple4 ((triple4) -> rule1)) -> rule2)) -> rule5) OR ((((triple4) -> rule1) ((((triple1) -> rule4) triple1) -> rule2)) -> rule5) OR ((((triple4) -> rule1) ((((triple1) -> rule4) ((triple4) -> rule1)) -> rule2)) -> rule5))] Erin is quiet.[(triple3 OR ((triple2) -> rule6) OR ((triple4 triple1) -> rule2) OR ((triple4 ((triple4) -> rule1)) -> rule2) OR ((((triple1) -> rule4) triple1) -> rule2) OR ((((triple1) -> rule4) ((triple4) -> rule1)) -> rule2))] Erin is round.[(triple4 OR ((triple1) -> rule4))] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple3 triple4) -> rule3) OR ((triple3 ((triple1) -> rule4)) -> rule3) OR ((((triple2) -> rule6) triple4) -> rule3) OR ((((triple4 triple1) -> rule2) triple4) -> rule3) OR ((((triple2) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((triple4 triple1) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule2) triple4) -> rule3) OR ((((((triple1) -> rule4) triple1) -> rule2) triple4) -> rule3) OR ((((triple4 ((triple4) -> rule1)) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((((triple1) -> rule4) triple1) -> rule2) ((triple1) -> rule4)) -> rule3) OR ((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule2) triple4) -> rule3) OR ((((((triple1) -> rule4) ((triple4) -> rule1)) -> rule2) ((triple1) -> rule4)) -> rule3))]