Bob is big. Bob is furry. Bob is green. Bob is round. Bob is young. Erin is big. Erin is furry. Erin is green. Erin is quiet. Erin is round. Erin is smart. Erin is young. If Erin is smart then Erin is quiet. If something is smart then it is quiet. Young things are round. All green things are young. All big, quiet things are smart. All big things are quiet. Big, young things are round. All furry things are big.
Bob is quiet.
@0: Bob is big.[(triple1 OR ((triple2) -> rule8))] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is round.[(triple4 OR ((triple5) -> rule3) OR ((triple1 triple5) -> rule7) OR ((((triple3) -> rule4)) -> rule3) OR ((triple1 ((triple3) -> rule4)) -> rule7) OR ((((triple2) -> rule8) triple5) -> rule7) OR ((((triple2) -> rule8) ((triple3) -> rule4)) -> rule7))] Bob is young.[(triple5 OR ((triple3) -> rule4))] Erin is big.[(triple6 OR ((triple7) -> rule8))] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is quiet.[(triple9 OR ((triple11) -> rule1) OR ((triple11) -> rule2) OR ((triple6) -> rule6) OR ((((triple7) -> rule8)) -> rule6))] Erin is round.[(triple10 OR ((triple12) -> rule3) OR ((triple6 triple12) -> rule7) OR ((((triple8) -> rule4)) -> rule3) OR ((triple6 ((triple8) -> rule4)) -> rule7) OR ((((triple7) -> rule8) triple12) -> rule7) OR ((((triple7) -> rule8) ((triple8) -> rule4)) -> rule7))] Erin is smart.[(triple11 OR ((triple6 triple9) -> rule5) OR ((triple6 ((triple6) -> rule6)) -> rule5) OR ((((triple7) -> rule8) triple9) -> rule5) OR ((((triple7) -> rule8) ((triple6) -> rule6)) -> rule5) OR ((triple6 ((((triple7) -> rule8)) -> rule6)) -> rule5) OR ((((triple7) -> rule8) ((((triple7) -> rule8)) -> rule6)) -> rule5))] Erin is young.[(triple12 OR ((triple8) -> rule4))] @1: Bob is quiet.[(((triple1) -> rule6) OR ((((triple2) -> rule8)) -> rule6))] @2: Bob is smart.[(((triple1 ((triple1) -> rule6)) -> rule5) OR ((((triple2) -> rule8) ((triple1) -> rule6)) -> rule5) OR ((triple1 ((((triple2) -> rule8)) -> rule6)) -> rule5) OR ((((triple2) -> rule8) ((((triple2) -> rule8)) -> rule6)) -> rule5))]